Francès, G.; Geffner, H. Modeling and Computation in Planning: Better Heuristics from More Expressive Languages. ICAPS 2015, 25, 70-78.