Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems