Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently

Bertram Felgenhauer
Logical Methods in Computer Science 14(4:7), pp. 1 – 35, 2018.

abstract   BibTeX   PDF   doi:10.23638/LMCS-14(4:7)2018  
Creative Commons License – CC BY 4.0