S. Link and K.-D. Schewe, “An arithmetic theory of consistency enforcement”, Acta Cybern, vol. 15, no. 3, pp. 379-416, Jan. 2002.