Jean-Pierre Jouannaud, Yoshihito Toyama. Modular Church-Rosser Modulo: The Complete Picture. Int. J. Software and Informatics, 2(1):61-75, 2008. [doi]
@article{JouannaudT08,
title = {Modular Church-Rosser Modulo: The Complete Picture},
author = {Jean-Pierre Jouannaud and Yoshihito Toyama},
year = {2008},
url = {http://www.ijsi.org/IJSI/ch/reader/view_abstract.aspx?file_no=200861&flag=1},
tags = {completeness},
researchr = {https://researchr.org/publication/JouannaudT08},
cites = {0},
citedby = {0},
journal = {Int. J. Software and Informatics},
volume = {2},
number = {1},
pages = {61-75},
}