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