Orkunt Sabuncu Ferda Nur Alpaslan Varol Akman Using Criticalities as a Heuristics for Answer Set Programming. 2003 conf/asp/2003 Answer Set Programming http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS//Vol-78/asp03-final-sabuncu.pdf db/conf/asp/asp2003.html#SabuncuAA03