@MISC{MPB:DdRthesis,
AUTHOR = "Maria Paola Bonacina",
TITLE = "Sulla dimostrazione di teoremi per completamento",
NOTE = "Thesis of ``Dottorato di Ricerca'',
Dipartimento di Scienze dell'Informazione,
Universit{\`a} degli Studi di Milano",
MONTH = "December",
YEAR = 1990,
NOTE = "Available in English with title On completion theorem proving,
as Technical Report of the Department of Computer Science,
State University of New York at Stony Brook, December 1990"}