Univ.-Prof. Dr. Aart Middeldorp   

Normalized Completion Revisited

Sarah Winkler and Aart Middeldorp
Proceedings of the 24th International Conference on Rewriting Techniques and Applications (RTA 2013), Leibniz International Proceedings in Informatics 21, pp. 319 – 334, 2013.

abstract   bibtex   pdf   doi:10.4230/LIPIcs.RTA.2013.319