Demri, S., and R. Fervari. “Model-Checking for Ability-Based Logics With Constrained Plans”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 37, no. 5, June 2023, pp. 6305-12, doi:10.1609/aaai.v37i5.25776.