Computing answers for disjunctive logic programs - Furbach, Ulrich 1948- (Fachberichte Informatik, 1991)