D. Liu and G. Lakemeyer, “A Framework for Belief-based Programs and Their Verification (Abstract Reprint)”, AAAI, vol. 40, no. 47, pp. 39875–39875, Mar. 2026.