M. Wehrle and M. Helmert, “About Partial Order Reduction in Planning and Computer Aided Verification”, ICAPS, vol. 22, no. 1, pp. 297-305, May 2012.