Jean-Pierre Jouannaud
Modular Church-Rosser Modulo
RTA, 2006.
@inproceedings{RTA-2006-Jouannaud, author = "Jean-Pierre Jouannaud", booktitle = "{Proceedings of the 17th International Conference on Term Rewriting and Applications}", doi = "10.1007/11805618_8", editor = "Frank Pfenning", isbn = "3-540-36834-5", pages = "96--107", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Modular Church-Rosser Modulo}", volume = 4098, year = 2006, }