*SAT, KSATC, DLP and TA: a comparative analysis

Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella. *SAT, KSATC, DLP and TA: a comparative analysis. In Patrick Lambrix, Alexander Borgida, Maurizio Lenzerini, Ralf Möller, Peter F. Patel-Schneider, editors, Proceedings of the 1999 International Workshop on Description Logics (DL 99), Linköping, Sweden, July 30 - August 1, 1999. Volume 22 of CEUR Workshop Proceedings, CEUR-WS.org, 1999. [doi]

Abstract

Abstract is missing.