Other papers

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

• Maria Paola Bonacina.
  A note on the analysis of theorem-proving strategies.
  Newsletter of the Association for Automated Reasoning, 36:2-8, April 1997. [BibTeX entry]

• Maria Paola Bonacina.
  Strategy analysis for theorem proving (Position paper).
  NSF Workshop on Future Directions of Automated Deduction, Chicago, Illinois, USA, April 1996. [BibTeX entry]

• Maria Paola Bonacina.
  Distributed automated deduction (Position paper).
  NSF Workshop on Future Directions of Automated Deduction, Chicago, Illinois, USA, April 1996. [BibTeX entry]

• Maria Paola Bonacina and Jieh Hsiang.
  Incompleteness of the RUE/NRF inference systems.
  Newsletter of the Association for Automated Reasoning, 20:9-12, May 1992. [BibTeX entry]

• Maria Paola Bonacina.
  Problems in Lukasiewicz logic.
  Newsletter of the Association for Automated Reasoning, 18:5-12, June 1991. [BibTeX entry]

• Fabio Baj, Maria Paola Bonacina, Massimo Bruschi and Antonella Zanzi.
  Another term rewriting based proof of the `non-obvious' theorem.
  Newsletter of the Association for Automated Reasoning, 13:4-8, September 1989. [BibTeX entry]

• Maria Paola Bonacina.
  Petri nets for knowledge representation.
  Petri Nets Newsletter, 27:28-36, August 1987. [BibTeX entry]

Maria Paola Bonacina