Chen, D. Z.; Hofmann, T.; Klassen, T. Q.; McIlraith, S. A. Satisficing and Optimal Generalised Planning via Goal Regression. AAAI 2026, 40, 36197-36206.