John S. Schlipf Complexity and Undecidability Results for Logic Programming. [Citation Graph (1, 0)][DBLP] Ann. Math. Artif. Intell., 1995, v:15, n:3-4, pp:257-288 [Journal]

Thomas Eiter, Georg Gottlob On the Computational Cost of Disjunctive Logic Programming: Propositional Case. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1995, v:15, n:3-4, pp:289-323 [Journal]

Audrey Ferry A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logic Programs. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1995, v:15, n:3-4, pp:325-355 [Journal]