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

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