Abstract properties and computational complexity of disjunctive logic programs - Dix, Jürgen 1961-; Müller, Martin (Uni Koblenz-Landau, Inst. für Informatik, 1993)