Paramodulation-Based Theorem Proving (1999)

by Robert Nieuwenhuis, Albert Rubio