Rodrigues Quemel e Assis Santana, P. and Williams, B. (2021) “A Bucket Elimination Approach for Determining Strong Controllability of Temporal Plans with Uncontrollable Choices”, Proceedings of the AAAI Conference on Artificial Intelligence, 26(1), pp. 2453–2454. doi: 10.1609/aaai.v26i1.8422.