D. Cohen, C. Jefferson, and K. Petrie, “A Theoretical Framework for Constraint Propagator Triggering”, SOCS, vol. 7, no. 1, pp. 19–27, Sep. 2021.