Invited articles in edited collections

• Maria Paola Bonacina, Pascal Fontaine, Christophe Ringeissen, and Cesare Tinelli. Theory combination: beyond equality sharing.
  In Carsten Lutz et al. (Eds.) Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader. Springer, Lecture Notes in Artificial Intelligence 11560, 57-89, June 2019; DOI: 10.1007/978-3-030-22102-7_3. [BibTeX]

• Maria Paola Bonacina. Deduzione automatica.
  In Hykel Hosni, Gabriele Lolli, and Carlo Toffalori (Eds.) Le Direzioni della Ricerca Logica in Italia - Volume 2. ETS Edizioni, Analitica, Chapter 3, 77-139, June 2018. [BibTeX] [Slides]

• Maria Paola Bonacina. Parallel theorem proving.
  In Youssef Hamadi and Lakhdar Sais (Eds.) Handbook of Parallel Constraint Reasoning. Springer, Chapter 6, 179-235, May 2018; DOI: 10.1007/978-3-319-63516-3_6. [BibTeX] [Slides]

• Maria Paola Bonacina, Ulrich Furbach, and Viorica Sofronie-Stokkermans. On first-order model-based reasoning.
  In Narciso Martí-Oliet, Peter Olveczky, and Carolyn Talcott (Eds.) Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer and Festschrift Symposium, Urbana Champaign, Illinois, USA, September 2015. Springer, Lecture Notes in Computer Science 9200, 181-204, 2015; DOI: 10.1007/978-3-319-23165-5_8. [BibTeX] [Slides]

• Maria Paola Bonacina and Nachum Dershowitz. Canonical ground Horn theories.
  In Andrei Voronkov and Christoph Weidenbach (Eds.) Programming Logics: Essays in Memory of Harald Ganzinger. Springer, Lecture Notes in Artificial Intelligence 7797, 35-71, March 2013; DOI: 10.1007/978-3-642-37651-1_3. [BibTeX] [Slides]

• Maria Paola Bonacina and Alberto Martelli. Automated reasoning.
  Intelligenza Artificiale, 3(1/2):14-20, June 2006. (Special issue on Artificial Intelligence 50th Anniversary 1956-2006). [BibTeX] [Slides]

• Maria Paola Bonacina. A taxonomy of theorem-proving strategies.
  In Manuela Veloso and Michael Wooldridge (Eds.) Artificial Intelligence Today - Recent Trends and Developments. Springer, Lecture Notes in Artificial Intelligence 1600, 43-84, August 1999; DOI: 10.1007/3-540-48317-9_3. [BibTeX] [Slides of colloquia at the University of Oregon, Eugene, OR, USA, and at the Università degli Studi di Roma "La Sapienza", Italy, May 2000]

Maria Paola Bonacina