Robinson, N. (2009) “SAT-Based Parallel Planning Using a Split Representation of Actions”, Proceedings of the International Conference on Automated Planning and Scheduling, 19(1), pp. 281–288. doi: 10.1609/icaps.v19i1.13368.