"Integrating Ontology Languages and Answer Set Programming."

Stijn Heymans, Dirk Vermeir (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics