@article{DBLP:journals/corr/abs-1106-4867,
author = {Fangzhen Lin},
title = {Compiling Causal Theories to Successor State Axioms and
STRIPS-Like Systems},
journal = {CoRR},
volume = {abs/1106.4867},
year = {2011},
ee = {http://arxiv.org/abs/1106.4867},
bibsource = {DBLP, http://dblp.uni-trier.de}
}