L. Kaizer W, G. Pereira A, Ritt M. Sequencing Operator Counts with State-Space Search. ICAPS [Internet]. 2020Jun.1 [cited 2024Jul.16];30(1):166-74. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/6658