A proof theory for description logics - Rademaker, Alexandre (London : Springer, 2012)
Keywords: REPRESENTACION DEL CONOCIMIENTO (TEORIA DE LA INFORMACION); TEORIA DE LA PRUEBA -- PROCESAMIENTO DE DATOS