1. Alexander Bockmayr. A Note on a Canonical Theory with Undecidable Unification and Matching Problem. In Journal of Automated Reasoning, Vol 3, pages 379–381, 1987.
2. Nachum Dershowitz and G. Sivakumar. Solving Goals in Equational Languages. In Proceedings of the First International Workshop Conditional Term Rewriting System, Orsay, France, July 1987. Vol. 308, pages 45–55, of Lecture Notes in Computer Science, Springer Verlag (1987).
3. Nachum Dershowitz and Jean-Pierre Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 6, pages 243–320, North-Holland, Amsterdam, 1990.
4. M. Fay. First-order unification in an equational theory. In Proceedings of the Fourth Workshop on Automated Deduction, pages 161–167, Austin, TX, February 1979.
5. Jean-Marie Hullot. Canonical forms and unification. In R. Kowalski, editor, Proceedings of the Fifth International Conference on Automated Deduction, pages 318–334, Les Arcs, France, July 1980. Vol. 87 of Lecture Notes in Computer Science, Springer, Berlin.