"Coala: A Compiler from Action Languages to ASP."

Martin Gebser, Torsten Grote, Torsten Schaub (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics