Your search returned the following 7 documents:

7. Correctness of unification without occur check in Prolog
   Ritu Chadha and David A. Plaisted
   Journal of Logic Programming 18 (2): 99-122, 1994
   
6. Problem solving by searching for models with a theorem prover
   Shie-Jue Lee and David A. Plaisted
   Artificial Intelligence 69 (1/2): 205-233, 1994
   
5. Semantically Guided First-Order Theorem Proving using Hyper-Linking
   Heng Chu and David A. Plaisted
   In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), Nancy, France, June 26 - July 1, 1994, 1994, 192-206
   
4. The Search Efficiency of Theorem Proving Strategies
   David A. Plaisted
   In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), Nancy, France, June 26 - July 1, 1994, 1994, 57-71
   
3. Use of replace rules in theorem proving
   Shie-Jue Lee and David A. Plaisted
   Methods of Logic in Computer Science 1: 217-240, 1994
   
2. Equational Reasoning and Term Rewriting Systems
   David A. Plaisted
   In: Handbook of Logic in Artificial Intelligence and Logic Programming, 1993, 273-364
   
1. On the mechanical derivation of loop invariants
   Ritu Chadha and David A. Plaisted
   Journal of Symbolic Computation 15 (5/6): 705-744, 1993