2001], Paramodulation-based theorem proving, in A. Robinson and A. Voronkov, eds, `Handbook of Automated Reasoning', Vol (0)

by R Nieuwenhuis, A Rubio
Venue:I, Elsevier Science, chapter