@inproceedings{conf/kr/CadoliEG94, title = "Default Logic as a Query Language", author = "Marco Cadoli and Thomas Eiter and Georg Gottlob", year = "1994", booktitle = "KR", pages = "99-108", }