Wehrle, M.; Helmert, M. About Partial Order Reduction in Planning and Computer Aided Verification. ICAPS 2012, 22, 297-305.