Speck, D. (2025) “Counting and Reasoning with Plans”, Proceedings of the AAAI Conference on Artificial Intelligence, 39(25), pp. 26688–26696. doi: 10.1609/aaai.v39i25.34871.