TY - JOUR TI - An arithmetic theory of consistency enforcement T3 - Acta cybernetica AU - Link Sebastian PY - 2002 LA - English SN - 0324-721X UR - http://acta.bibl.u-szeged.hu/12686/1/cybernetica_015_numb_003_379-416.pdf ER -