Robinson, N.; Gretton, C.; Pham, D. N.; Sattar, A. SAT-Based Parallel Planning Using a Split Representation of Actions. ICAPS 2009, 19, 281-288.