A new logical characterization of stable models and answer sets (1997)

by D Pearce
Venue:In Non-Monotonic Extension of Logic Programming, Lecture Notes in Artificial Intelligence (LNCS