Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation. (1997)

by N Leone, P Rullo, F Scarcello
Venue:Information and Computation