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