Lauer, P., Lin, S. and 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 (Sep. 2025), 64-73. DOI:https://doi.org/10.1609/icaps.v35i1.36102.