Marc Denecker What's in a model? Epistemological analysis of Logic Programming. 2003 conf/asp/2003 Answer Set Programming http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS//Vol-78/asp03-final-denecker.pdf db/conf/asp/asp2003.html#Denecker03