Christopher Lynch. The Unification Problem for One Relation Thue Systems. In Jacques Calmet, Jan A. Plaza, editors, Artificial Intelligence and Symbolic Computation, International Conference AISC 98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings. Volume 1476 of Lecture Notes in Computer Science, pages 195-208, Springer, 1998. [doi]
@inproceedings{Lynch98:1,
title = {The Unification Problem for One Relation Thue Systems},
author = {Christopher Lynch},
year = {1998},
url = {http://link.springer.de/link/service/series/0558/bibs/1476/14760195.htm},
researchr = {https://researchr.org/publication/Lynch98%3A1},
cites = {0},
citedby = {0},
pages = {195-208},
booktitle = {Artificial Intelligence and Symbolic Computation, International Conference AISC 98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings},
editor = {Jacques Calmet and Jan A. Plaza},
volume = {1476},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-64960-3},
}