Rodrigues Quemel e Assis Santana, P.; Williams, B. A Bucket Elimination Approach for Determining Strong Controllability of Temporal Plans With Uncontrollable Choices. AAAI 2021, 26, 2453-2454.