Lauer, P., Lin, S., & Bercher, P. (2025). Tight Bounds for Lifted HTN Plan Verification and Bounded Plan Existence. Proceedings of the International Conference on Automated Planning and Scheduling, 35(1), 64-73. https://doi.org/10.1609/icaps.v35i1.36102