"An Answer Set Solver for non-Herbrand Programs: Progress Report."

Marcello Balduccini (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics