Liu, D. and Claßen, J. (2025) “On Action Theories with Iterable First-Order Progression”, Proceedings of the AAAI Conference on Artificial Intelligence, 39(14), pp. 15041–15048. doi: 10.1609/aaai.v39i14.33649.