Tang, H., & 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), 36412–36420. https://doi.org/10.1609/aaai.v40i43.40962