Deciding Confluence of Ground Term Rewrite Systems in Cubic Time

Bertram Felgenhauer
Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA 2012), Leibniz International Proceedings in Informatics 15, pp. 165 – 175, 2012.

abstract   BibTeX   PDF   doi:10.4230/LIPIcs.RTA.2012.165  
Creative Commons License – NC – ND