@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"}