"Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming."

Joohyung Lee (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics