2001, ‘Paramodulation-Based Theorem Proving (0)

by R Nieuwenhuis, A Rubio
Venue:Handbook of Automated Reasoning, Vol. I. Elsevier Science, Chapt. 7