Propositional Semantics for Disjunctive Logic Programs (1994)

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