Propositional semantics for disjunctive logic programs (1994)

by R Ben-Eliyahu, R Dechter
Venue:Annals of Mathematics and Artificial Intelligence