Jia-Huai You, P. A. Subrahmanyam. E-Unification Algorithms for a Class of Confluent Term Rewriting Systems. In Laurent Kott, editor, Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings. Volume 226 of Lecture Notes in Computer Science, pages 454-463, Springer, 1986.
@inproceedings{YouS86:0,
title = {E-Unification Algorithms for a Class of Confluent Term Rewriting Systems},
author = {Jia-Huai You and P. A. Subrahmanyam},
year = {1986},
tags = {term rewriting, graph-rewriting, e-science, rewriting},
researchr = {https://researchr.org/publication/YouS86%3A0},
cites = {0},
citedby = {0},
pages = {454-463},
booktitle = {Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings},
editor = {Laurent Kott},
volume = {226},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-16761-7},
}