Max Dauchet, Sophie Tison, Thierry Heuillard, Pierre Lescanne
Decidability of the Confluence of Ground Term Rewriting Systems
LICS, 1987.
@inproceedings{LICS-1987-DauchetTHL,
author = "Max Dauchet and Sophie Tison and Thierry Heuillard and Pierre Lescanne",
booktitle = "{Proceedings of the Second Symposium on Logic in Computer Science}",
pages = "353--359",
publisher = "{IEEE Computer Society}",
title = "{Decidability of the Confluence of Ground Term Rewriting Systems}",
year = 1987,
}