Edited works

• Maria Paola Bonacina, Pascal Fontaine, Cláudia Nalon, Claudia Schon (Editors), and Martin Desharnais (Editorial Assistant).
  The Next Generation of Deduction Systems: From Composition to Compositionality - Report from Dagstuhl Seminar 23471.
  Dagstuhl Publishing, Dagstuhl Reports 13(11):130-150, April 2024; DOI: 10.4230/DagRep.13.11.130. [BibTeX]

• Maria Paola Bonacina (Lead Guest Editor).
  Six Decades of Automated Reasoning: Papers in Memory of Larry Wos.
  Springer, Journal of Automated Reasoning, 66(4):437-584, November 2022. [Foreword with DOI: 10.1007/s10817-022-09637-z] and Springer Nature SharedIt].

• Maria Paola Bonacina, Philipp Rümmer, and Renate A. Schmidt (Editors).
  Integrated Deduction - Report from Dagstuhl Seminar 21371.
  Dagstuhl Publishing, Dagstuhl Reports 11(8):35-51, February 2022; DOI: 10.4230/DagRep.11.8.35. [BibTeX]

• Maria Paola Bonacina (Editor).
  Proceedings of the 24th International Conference on Automated Deduction (CADE).
  Springer, Lecture Notes in Artificial Intelligence 7898, XVI 466 p. 95 illus., June 2013; ISBN: 978-3-642-38573-5; DOI: 10.1007/978-3-642-38574-2. [Preface] [BibTeX]

• Maria Paola Bonacina and Mark E. Stickel (Editors).
  Automated Reasoning and Mathematics: Essays in Memory of William W. McCune.
  Springer, Lecture Notes in Artificial Intelligence 7788, XX 259 p. 27 illus., March 2013; ISBN: 978-3-642-36674-1; DOI: 10.1007/978-3-642-36675-8. [Preface] [BibTeX]

• Maria Paola Bonacina and Maribel Fernández (Editors).
  Proceedings of the 2nd Workshop on Strategies in Rewriting Proving and Programming (IWS), satellite of the Sixth International Joint Conference on Automated Reasoning (IJCAR), Manchester, England, UK, June 2012. [Preface]

• Maria Paola Bonacina and Thierry Boy de la Tour (Editors).
  5th Workshop on Strategies in Automated Deduction: Selected Papers.
  Elsevier, Electronic Notes in Theoretical Computer Science 125(2):1-164, March 2005. [Preface with DOI: 10.1016/j.entcs.2005.02.001]

• Maria Paola Bonacina and Bernhard Gramlich (Editors).
  4th Workshop on Strategies in Automated Deduction: Selected Papers.
  Elsevier, Electronic Notes in Theoretical Computer Science 58(2):117-208, October 2001. [Preface with DOI: 10.1016/S1571-0661(05)80580-8]

• Maria Paola Bonacina and Ulrich Furbach (Guest Editors).
  Advances in First-order Theorem Proving.
  Academic Press, Journal of Symbolic Computation 29(2), February 2000. [Preface]

• Maria Paola Bonacina and Ulrich Furbach (Editors).
  Proceedings of the 1st International Workshop on First-order Theorem Proving (FTP).
  Schloss Hagenberg, Linz, Austria, October 1997. Technical Report 97-50, Research Institute for Symbolic Computation, Johannes Kepler Universität, Linz, 1997. [Preface]

Maria Paola Bonacina