Pascal Nicolas Frédéric Saubion Igor Stéphan Genes and Ants for Default Logic. 2001 conf/asp/2001 Answer Set Programming http://www.cs.nmsu.edu/~tson/ASP2001/27.ps db/conf/asp/asp2001.html#NicolasSS01