Stable semantics for disjunctive programs. New generation computing 9(3):401–424 (1991)

by T Przymusinski