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