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