A Characterization Of The Partial Stable Models For Disjunctive Deductive Databases | part of Logic Programming: The 1997 International Symposium | MIT Press books | IEEE Xplore