Patrice Enjalbert, Françoise Clérin-Debart. A Case of Termination for Associative Unification. In Habib Abdulrab, Jean-Pierre Pécuchet, editors, Word Equations and Related Topics, Second International Workshop, IWWERT 91, Rouen, France, October 7-9, 1991, Proceedings. Volume 677 of Lecture Notes in Computer Science, pages 79-89, Springer, 1991.
@inproceedings{EnjalbertC91,
title = {A Case of Termination for Associative Unification},
author = {Patrice Enjalbert and Françoise Clérin-Debart},
year = {1991},
tags = {termination},
researchr = {https://researchr.org/publication/EnjalbertC91},
cites = {0},
citedby = {0},
pages = {79-89},
booktitle = {Word Equations and Related Topics, Second International Workshop, IWWERT 91, Rouen, France, October 7-9, 1991, Proceedings},
editor = {Habib Abdulrab and Jean-Pierre Pécuchet},
volume = {677},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56730-5},
}