Surveys on theorem proving

• Maria Paola Bonacina. On theorem proving for program checking - Historical perspective and recent developments. In Proceedings of the Twelfth International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP) (©Copyright 2010 by ACM, Inc.) Schloss Hagenberg, Linz, Austria, July 2010. ACM Press, 1-11, 2010 (invited).

• 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).

• Maria Paola Bonacina. A taxonomy of parallel strategies for deduction. Annals of Mathematics and Artificial Intelligence, 29(1-4):223-257, 2000; DOI: 10.1023/A:1018932114059.

• Maria Paola Bonacina. Ten years of parallel theorem proving: a perspective. In Notes of the 3rd Workshop on Strategies in Automated Deduction (STRATEGIES 1999), 3-15, 2nd Federated Logic Conference, Trento, Italy, July 1999 (invited).

• Maria Paola Bonacina. A taxonomy of theorem proving strategies. In Artificial Intelligence Today - Recent Trends and Developments, Springer, Lecture Notes in Artificial Intelligence 1600, 43-84, 1999.

• Maria Paola Bonacina. Theorem proving strategies: a search-oriented taxonomy (Position paper). In Notes of the 2nd International Workshop on First-order Theorem Proving (FTP 1998), Schloss Wilhelminenberg, Vienna, Austria, TR E1852-GS-981, Technische Universität Wien, 256-259, 1998.

Maria Paola Bonacina