Modular Church-Rosser modulo: the complete picture (0)

by J-P Jouannaud, Y Toyama
Venue:International Journal of Software and Informatics