Marc Denecker What's in a Model? Epistemological Analysis of Logic Programming. 106-113 2004 conf/kr/2004 KR db/conf/kr/kr2004.html#Denecker04