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