TY  - RPRT
TI  - Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
AU  - Joohyung Lee
AU  - Ravi Palla
PY  - 2014
DO  - 10.1613/jair.3489
UR  - https://arxiv.org/abs/1401.4607
ID  - 1401.4607
ER  -