D. Speck, M. Hecher, D. Gnad, J. K. Fichte, and A. B. Corrêa, “Counting and Reasoning with Plans”, AAAI, vol. 39, no. 25, pp. 26688–26696, Apr. 2025.