Speck, D.; Hecher, M.; Gnad, D.; Fichte, J. K.; Corrêa, A. B. Counting and Reasoning With Plans. AAAI 2025, 39, 26688-26696.