1996. English version appared as number VIII-96-2 of Collana delle tesi del Dottorato di Ricerca in Informatica with the title "Unrestricted and Finite Model Reasoning in Class-Based Representation Formalisms ".
@phdthesis{tesi-dott-1996,
title = "Rappresentazione della conoscenza basata su classi: ragionamento in
modelli arbitrari e modelli finiti",
year = "1996",
author = "Diego Calvanese",
school = "Dipartimento di Informatica e Sistemistica, Università di
Roma "La Sapienza"",
note = "English version appared as number VIII-96-2 of Collana delle tesi
del Dottorato di Ricerca in Informatica with the title "Unrestricted and Finite
Model Reasoning in Class-Based Representation Formalisms "",
}