Wehrle M, Helmert M. About Partial Order Reduction in Planning and Computer Aided Verification. ICAPS [Internet]. 2012May14 [cited 2024Nov.21];22(1):297-305. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13526