Paramodulation-based theorem proving. (2001)

by Robert Nieuwenhuis, Albert Rubio
Venue:In John Alan Robinson and Andrei Voronkov, editors, Handbook of Automated Reasoning,