Memon AM, Pollack M, Soffa ML.  1999.  Comparing causal-link and propositional planners: Tradeoffs between plan length and domain size.