Lauer P, Lin S, Bercher P. Tight Bounds for Lifted HTN Plan Verification and Bounded Plan Existence. ICAPS [Internet]. 2025Sep.16 [cited 2026Apr.26];35(1):64-73. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/36102