Paramodulation-Based Theorem Proving

@incollection{paramodulation-handbook2001,
   apice = {ParamodulationHandbook2001},
   author = {Robert Nieuwenhuis and Albert Rubio},
   booktitle = {Handbook of Automated Reasoning},
   chapter = 7,
   doi = {10.1016/B978-044450813-3/50009-6},
   editor = {Alan Robinson and Andrei Voronkov},
   numpages = 73,
   openalex = {W1507112684},
   pages = {371--443},
   publisher = {Elsevier Science B.V.},
   title = {Paramodulation-Based Theorem Proving},
   url = {https://www.sciencedirect.com/science/article/pii/B9780444508133500096},
   volume = {I},
   year = 2001
}