Paramodulation-Based Theorem Proving

   Info_icon.svg   data    BibTeX_logo.svg   bibtex
Robert Nieuwenhuis, Albert Rubio
Alan Robinson, Andrei Voronkov (eds.)
Handbook of Automated Reasoning, chapter 7, pages 371–443
Elsevier Science B.V.
2001