F. Belardinelli, I. Boureanu, V. Malvone, and F. Rajaona, “Automatically Verifying Expressive Epistemic Properties of Programs”, AAAI, vol. 37, no. 5, pp. 6245-6252, Jun. 2023.