Jack Minker Overview of Disjunctive Logic Programming. 1-24 1994 12 Ann. Math. Artif. Intell. 1-2 db/journals/amai/amai12.html#Minker94