Paramodulation-based theorem proving (2001)

by R Nieuwenhuis, A Rubio
Venue:of Automated Reasoning