Tang, H. and Bercher, P. (2026) “Symmetries and Other Variations of ‘End-Recursive’ HTN Problems: Mapping the Border Between Decidable and Undecidable Restrictions”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(43), pp. 36412–36420. doi: 10.1609/aaai.v40i43.40962.