D. Liu and J. Claßen, “On Action Theories with Iterable First-Order Progression”, AAAI, vol. 39, no. 14, pp. 15041–15048, Apr. 2025.