P. Rodrigues Quemel e Assis Santana and B. Williams, “A Bucket Elimination Approach for Determining Strong Controllability of Temporal Plans with Uncontrollable Choices”, AAAI, vol. 26, no. 1, pp. 2453–2454, Sep. 2021.