Kenneth Kunen Answer Sets and Negation-as-Failure. 219-228 1987 ICLP db/conf/iclp/iclp87.html#Kunen87