G. Francès and H. Geffner, “Modeling and Computation in Planning: Better Heuristics from More Expressive Languages”, ICAPS, vol. 25, no. 1, pp. 70-78, Apr. 2015.