"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