A New Logical Characterisation of Stable Models and Answer Sets.

David Pearce A New Logical Characterisation of Stable Models and Answer Sets. 57-70 1996 conf/nmelp/1996 NMELP db/conf/nmelp/nmelp96.html#Pearce96