Schewe, Klaus-Dieter, and Bernhard Thalheim. ‚ÄúLimitations of Rule Triggering Systems for Integrity Maintenance in the Context of Transition Specifications‚ÄĚ. Acta Cybernetica 13, no. 3 (January 1, 1998): 277-304. Accessed June 16, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3492.