Answer Sets and Negation as Failure (1987)

by K Kunen
Venue:In Proc. ICLP’87