- G. Gottlob and A. Leitsch. On the efficiency of subsumption
algorithms. Journal of the ACM, 32(2):280-295, April
1985.
- Thomas Eiter and Georg Gottlob. The complexity of logic-based
abduction. Journal of the ACM, 42(1):3-42, January
1995.
Abstract,
References,
Citations,
etc.
- Georg Gottlob. NP trees
and Carnap's modal logic. Journal of the ACM,
42(2):421-457, March 1995.
Abstract,
References,
Citations,
etc.
- Georg Gottlob. Translating default logic into
standard autoepistemic logic. Journal of the ACM,
42(4):711-740, July 1995.
Abstract,
References,
Citations,
etc.
Shortcuts: