Rintanen, J. (2011) “Heuristics for Planning with SAT and Expressive Action Definitions”, Proceedings of the International Conference on Automated Planning and Scheduling, 21(1), pp. 210-217. doi: 10.1609/icaps.v21i1.13478.