TY  - RPRT
TI  - Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems
AU  - F. Lin
PY  - 2011
DO  - 10.1613/jair.1135
UR  - https://arxiv.org/abs/1106.4867
ID  - 1106.4867
ER  -