Rodrigues Quemel e Assis Santana, Pedro, and Brian Williams. 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):2453-54. https://doi.org/10.1609/aaai.v26i1.8422.