N. Robinson, C. Gretton, D. N. Pham, and A. Sattar, “SAT-Based Parallel Planning Using a Split Representation of Actions”, ICAPS, vol. 19, no. 1, pp. 281-288, Oct. 2009.