Link, S., & Schewe, K.-D. (2002). An arithmetic theory of consistency enforcement. Acta Cybernetica, 15(3), 379-416. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3587