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), pp. 64-73. doi: 10.1609/icaps.v35i1.36102.