"ASP-PROLOG: a system for reasoning about answer set programs in prolog."

Omar El-Khatib, Enrico Pontelli, Tran Cao Son (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics