Paramodulation-based thorem proving (2001)

by Robert Nieuwenhuis, Alberto Rubio
Venue:Handbook of Automated Reasoning