Rintanen, J. “Heuristics for Planning With SAT and Expressive Action Definitions”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 21, no. 1, Mar. 2011, pp. 210-7, doi:10.1609/icaps.v21i1.13478.