Your search returned the following 2 documents:

2. Basic Paramodulation and Superposition
   Leo Bachmair, Harald Ganzinger, Christopher Lynch, and Wayne Snyder
   In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), Saratoga Springs, NY, 1992, 1992, 462-476
   
1. Basic Paramodulation
   Leo Bachmair, Harald Ganzinger, Christopher Lynch, and Wayne Snyder
   Information and Computation 121 (2): 172-192, 1995. Note: Revised version of TR MPI-I-93-236, 1993