Armandoand Ranise. Constraint Contextual Rewriting. no. 1-2, Elsevier BV, 2003, doi:10.1016/s0747-7171(03)00025-7.