Technical reports

Technical reports that are preliminary versions of published or submitted articles are omitted.

Maria Paola Bonacina and Mnacho Echenim.
Generic theorem proving for decision procedures.
Research Report 41/2006, Dipartimento di Informatica, Università degli Studi di Verona, August 2006 (revised March 2007), 1-46. [BibTeX]
Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise and Daniele Zucchelli.
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures.
Internal Report No. 308-06, Dipartimento di Scienze dell'Informazione, Università degli Studi di Milano, May 2006, 1-20. [BibTeX]
Maria Paola Bonacina.
A note on the analysis of theorem-proving strategies.
Technical Report, Department of Computer Science, The University of Iowa, May 1996, 1-12. [BibTeX]
Siva Anantharaman, Nirina Andrianarivelo, Maria Paola Bonacina and Jieh Hsiang.
SBR3: a refutational prover for equational theorems.
Technical Report, Department of Computer Science, State University of New York at Stony Brook, May 1990, 1-6. [BibTeX]
Siva Anantharaman and Maria Paola Bonacina.
Automated proofs in Lukasiewicz logic.
Technical Report, Department of Computer Science, State University of New York at Stony Brook, November 1989 and Rapport de Recherche No. 89-11, LIFO Orléans, 1-14. [BibTeX]