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