Univ.-Prof. Dr. Aart Middeldorp   

Confluence of the Disjoint Union of Conditional Term Rewriting Systems

Aart Middeldorp
Proceedings of the 2nd International Workshop on Conditional and Typed Rewriting Systems (CTRS 1990), Lecture Notes in Computer Science 516, pp. 295 – 306, 1991

abstract   bibtex   doi:10.1007/3-540-54317-1_99
© Springer