Modularity of Termination and Confluence in Combinations of Rewrite Systems with λω (1993)

by F Barbanera, M Fernández
Venue:Proceedings of ICALP ’93. 20 th International Colloquium on Automata, Languages and Programming