Christian Anger Kathrin Konczak Thomas Linke Torsten Schaub A Glimpse of Answer Set Programming. 12- 2005 19 KI 1 http://www.kuenstliche-intelligenz.de/index.php?id=no-6423&tx_ki_pi1[showUid]=1054&cHash=2e21401053 db/journals/ki/ki19.html#AngerKLS05