1. Bachmair, L., Dershowitz, N., and Plaisted, D. 1989. Completion without failure. In Resolution of Equations in Algebraic Structures, vol. 2, ed. H. Ait-Kaci and M. Nivat, 1–30. Academic Press.
2. Lect. Notes in Comput. Sci.;L. Bachmair,1990
3. Lect. Notes in Comput. Sci.;H. Ganzinger,1987
4. Lect. Notes in Comput. Sci.;J. Hsiang,1987
5. Hsiang, J., and Rusinowitch, M. 1989. Proving refutational completenes of theorem proving strategies: The transfinite semantic tree method. Submitted for publication.