Robinson, Nathan, et al. “SAT-Based Parallel Planning Using a Split Representation of Actions”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 19, no. 1, Oct. 2009, pp. 281-8, doi:10.1609/icaps.v19i1.13368.