Schewe, K.-D. and Thalheim, B. 1998. Limitations of rule triggering systems for integrity maintenance in the context of transition specifications. Acta Cybernetica. 13, 3 (Jan. 1998), 277-304.