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