Stable semantics for disjunctive programs. New generation computing (1991)

by T Przymusinski