H. Tang and P. Bercher, “Symmetries and Other Variations of ‘End-Recursive’ HTN Problems: Mapping the Border Between Decidable and Undecidable Restrictions”, AAAI, vol. 40, no. 43, pp. 36412–36420, Mar. 2026.