1. L. Bachmair, N. Dershowitz, and D. Plaisted, 1989. Completion without failure. In H. Ait-Kaci and M. Nivat, editors, Resolution of Equations in Algebraic Structures, vol. 2, pp. 1–30. Academic Press.
2. Lect. Notes in Comput. Sci.;H. Bertling,1989
3. Lect. Notes in Comput. Sci.;L. Bachmair,1990
4. L. Bachmair and H. Ganzinger, 1991. Perfect Model Semantics for Logic Programs with Equality. Submitted for publication.
5. Lect. Notes in Comput. Sci.;N. Dershowitz,1991