Liu, D.; Claßen, J. On Action Theories With Iterable First-Order Progression. AAAI 2025, 39, 15041-15048.