Your search returned the following 7 documents:

7. Substitution Tree Indexing
   Peter Graf
   In: Proceedings of the 6th International Conference on Rewriting Techniques and Applications (RTA-95), Kaiserslautern, Germany, April 5-7, 1995, 1995, 117-131. Note: There is an extended version of this paper published as report MPII-I-94-251
   
6. A Refined Version of General E-Unification
   Rolf Socher-Ambrosius
   In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), Nancy, France, June 26 - July 1, 1994, 1994, 665-677
   
5. Extended Path-Indexing
   Peter Graf
   In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), Nancy, France, June 26 - July 1, 1994, 1994, 514-528. Note: There is an extended version of this paper published as report MPII-I-93-253
   
4. Ordered Chaining for Total Orderings
   Leo Bachmair and Harald Ganzinger
   In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), Nancy, France, June 26 - July 1, 1994, 1994, 435-450. Note: Full version available as Research Report MPI-I-93-250, 1993
   
3. 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
   
2. Termination Orderings for Rippling
   David A. Basin and Toby Walsh
   In: Proceedings of the 12th International Conference On Automated Deduction (CADE-12), Nancy, France, June 26 - July 1, 1994, 1994, 466-483. Note: Also available as Research Report MPI-I-94-209, Max-Planck-Institut für Informatik, Saarbrücken
   
1. 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