TITLE : Logical and computational properties of the description logic MIRTL AUTHOR(S) : Buongarzoni P, Meghini C, Salis R, Sebastiani F, Straccia U TYPE : Conference article YEAR : 1995 CODE : 227008 *** DO NOT EDIT THIS FILE ***