Cohen, D.; Jefferson, C.; Petrie, K. A Theoretical Framework for Constraint Propagator Triggering. SOCS 2021, 7, 19-27.