Unrestricted and Finite Model Reasoning in Class-Based Representation Formalisms

Diego Calvanese

1996. English version of [?].

@book{tesi-dott-ingl-1996,
   title = "Unrestricted and Finite Model Reasoning in Class-Based
Representation Formalisms ",
   year = "1996",
   author = "Diego Calvanese",
   number = "VIII-96-2",
   publisher = "Università di Roma "La Sapienza"",
   series = "Collana tesi del Dottorato di Ricerca in Informatica",
   note = "English version of [?]",
}