Basic Paramodulation and Superposition.

Leo Bachmair, Harald Ganzinger, Christopher Lynch, Wayne Snyder

Browse the full CADE paper archive.