Link, S. and Schewe, K.-D. 2002. An arithmetic theory of consistency enforcement. Acta Cybernetica. 15, 3 (Jan. 2002), 379-416.