Paramodulation-based thorem proving (2001)

by R Nieuwenhuis, A Rubio
Venue:In Handbook of Automated Reasoning