G. De Giacomo, Y. Lesperance, and M. Mancanelli, “Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus”, AAAI, vol. 40, no. 23, pp. 19047–19054, Mar. 2026.