Wehrle, Martin, and Malte Helmert. “About Partial Order Reduction in Planning and Computer Aided Verification”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 22, no. 1, May 2012, pp. 297-05, doi:10.1609/icaps.v22i1.13526.