"disjunctive logic program" . . . "disjunctive logic program" .