Authors: Hustadt, U Schmidt, RA

Citation: U. Hustadt et Ra. Schmidt, Issues of decidability for description logics in the framework of resolution, LECT N A I, 1761, 2000, pp. 191-205