Modularity of termination and confluence in combinations of rewrite systems with λω (1993)

by F Barbanera, M Fernández
Venue:In Proc. of the 20th Int. Colloq. on Automata, Languages, and Programming, LNCS 700