Miroslaw Truszczynski Computing Large and Small Stable Models. 169-183 1999 ICLP db/conf/iclp/iclp99.html#Truszczynski99