Francès, G., and H. Geffner. “Modeling and Computation in Planning: Better Heuristics from More Expressive Languages”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 25, no. 1, Apr. 2015, pp. 70-78, doi:10.1609/icaps.v25i1.13722.