@InProceedings{Buongarzoni95a,
  author =       "Buongarzoni, Paolo and Meghini, Carlo and Salis,
 			Rossella and Sebastiani, Fabrizio and Straccia, Umberto",
  title =        "Logical and Computational Properties of the Description Logic
\mbox{\sc Mirtl}",
  booktitle =    "International Workshop on Description Logics",
  year =         "1995",
		publisher =    "",
		ADDRESS	="Rome, Italy",
  pages =        "80-84",
  editor =       "Borgida A. and Lenzerini M. and Nardi D. and Nebel B."
}