Splitting as a source of parallelism in disjunctive logic programs - Furbach, Ulrich 1948- (Fachberichte Informatik, 1991)