"Integrating an Answer Set Solver into Prolog: ASP-PROLOG."

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