@inproceedings{RTA-2012-Felgenhauer,
author = "Bertram Felgenhauer",
booktitle = "{Proceedings of the 23rd International Conference on Rewriting Techniques and Applications}",
doi = "10.4230/LIPIcs.RTA.2012.165",
editor = "Ashish Tiwari",
isbn = "978-3-939897-38-5",
pages = "165--175",
publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
series = "{Leibniz International Proceedings in Informatics}",
title = "{Deciding Confluence of Ground Term Rewrite Systems in Cubic Time}",
volume = 15,
year = 2012,
}
Tags: