Bonacina, Maria Paola Set of support, demodulation, paramodulation: a historical perspective. (English) Zbl 1511.68305 J. Autom. Reasoning 66, No. 4, 463-497 (2022). MSC: 68V15 68-03 PDFBibTeX XMLCite \textit{M. P. Bonacina}, J. Autom. Reasoning 66, No. 4, 463--497 (2022; Zbl 1511.68305) Full Text: DOI
Beeson, Michael; Bonacina, Maria Paola; Kinyon, Michael; Sutcliffe, Geoff Larry Wos: visions of automated reasoning. (English) Zbl 1511.68005 J. Autom. Reasoning 66, No. 4, 439-461 (2022). MSC: 68-03 01A70 68V15 PDFBibTeX XMLCite \textit{M. Beeson} et al., J. Autom. Reasoning 66, No. 4, 439--461 (2022; Zbl 1511.68005) Full Text: DOI
Bonacina, Maria Paola; Dershowitz, Nachum Canonical ground Horn theories. (English) Zbl 1383.03042 Voronkov, Andrei (ed.) et al., Programming logics. Essays in memory of Harald Ganzinger. Berlin: Springer (ISBN 978-3-642-37650-4/pbk). Lecture Notes in Computer Science 7797, 35-71 (2013). MSC: 03B70 03B35 68Q42 PDFBibTeX XMLCite \textit{M. P. Bonacina} and \textit{N. Dershowitz}, Lect. Notes Comput. Sci. 7797, 35--71 (2013; Zbl 1383.03042) Full Text: DOI