Propositional semantics for disjunctive logic programs (1994)

by R Ben-Eliyahu, R Dechter
Venue:Ann. Math. and AI