Confluence for Term Rewriting: Theory and Automation

Bertram Felgenhauer
PhD thesis, University of Innsbruck, 2015.

abstract   BibTeX   PDF