Tang, H.; Bercher, P. Symmetries and Other Variations of “End-Recursive” HTN Problems: Mapping the Border Between Decidable and Undecidable Restrictions. AAAI 2026, 40, 36412-36420.