"Representing the Language of the Causal Calculator in Answer Set Programming."

Michael Casolary, Joohyung Lee (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics