Unrestricted and Finite Model Reasoning in Class-Based Representation Formalisms (Abstract of Ph.D. Thesis)

AI Communications---The European J. on Artificial Intelligence. 9(4):225--226 1996.

@article{AI-comm-1996,
   title = "Unrestricted and Finite Model Reasoning in Class-Based
Representation Formalisms (Abstract of Ph.D. Thesis)",
   year = "1996",
   author = "Diego Calvanese",
   journal = "AI Communications---The European J. on Artificial Intelligence",
   pages = "225-226",
   number = "4",
   volume = "9",
   doi = "10.3233/AIC-1996-9404",
}