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]
@inproceedings{GiunchigliaGT99:0,
title = {*SAT, KSATC, DLP and TA: a comparative analysis},
author = {Enrico Giunchiglia and Fausto Giunchiglia and Armando Tacchella},
year = {1999},
url = {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/giunchiglia.ps},
tags = {analysis},
researchr = {https://researchr.org/publication/GiunchigliaGT99%3A0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 1999 International Workshop on Description Logics (DL 99), Linköping, Sweden, July 30 - August 1, 1999},
editor = {Patrick Lambrix and Alexander Borgida and Maurizio Lenzerini and Ralf Möller and Peter F. Patel-Schneider},
volume = {22},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}