On implementing semantics for disjunctive logic programs - Dix, Jürgen 1961-; Müller, Martin (Fachberichte Informatik, 1993)