Extended stable semantics for normal and disjunctive programs (1990)

by T C Przymusinski
Venue:In Seventh International Conference on Logic Programming