Eiter, Thomas; Ortiz, Magdalena; Šimkus, Mantas Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots. (English) Zbl 1238.68153 J. Comput. Syst. Sci. 78, No. 1, 47-85 (2012). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{T. Eiter} et al., J. Comput. Syst. Sci. 78, No. 1, 47--85 (2012; Zbl 1238.68153) Full Text: DOI
Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola On ACTL formulas having linear counterexamples. (English) Zbl 0990.68102 J. Comput. Syst. Sci. 62, No. 3, 463-515 (2001). MSC: 68R10 PDFBibTeX XMLCite \textit{F. Buccafurri} et al., J. Comput. Syst. Sci. 62, No. 3, 463--515 (2001; Zbl 0990.68102) Full Text: DOI Link
Eiter, Thomas; Ibaraki, Toshihide; Makino, Kazuhisa On the difference of Horn theories. (English) Zbl 0971.68076 J. Comput. Syst. Sci. 61, No. 3, 478-507 (2000). MSC: 68Q25 PDFBibTeX XMLCite \textit{T. Eiter} et al., J. Comput. Syst. Sci. 61, No. 3, 478--507 (2000; Zbl 0971.68076) Full Text: DOI
Eiter, Thomas; Gottlob, Georg The complexity of nested counterfactuals and iterated knowledge base revisions. (English) Zbl 0869.68045 J. Comput. Syst. Sci. 53, No. 3, 497-512 (1996). MSC: 68P15 68T35 PDFBibTeX XMLCite \textit{T. Eiter} and \textit{G. Gottlob}, J. Comput. Syst. Sci. 53, No. 3, 497--512 (1996; Zbl 0869.68045) Full Text: DOI Link