J. Rintanen, “Heuristics for Planning with SAT and Expressive Action Definitions”, ICAPS, vol. 21, no. 1, pp. 210-217, Mar. 2011.