1. Dijkstra, E.W., Scholten, C.S.: Predicate calculus and program semantics. In: Texts and Monographs in Computer Science, Springer, Heidelberg (1989)
2. Schewe, K.D., Thalheim, B.: Limitations of Rule Triggering Systems for Integrity Maintenance in the context of Transition Specifications. Acta Cybernetica (1998)
3. Balaban, M., Jurk, S.: Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs. In: Proc. 22th Conf. on DEXA (2001)
4. Balaban, M., Jurk, S.: Intention of Updates - Characterization and Preservation. Technical report, Ben-Gurion University, Israel and BTU Cottbus, Germany (2002)
5. Bry, F.: Intensional updates: Abduction via deduction. In: Proc. 7th Conf. on Logi Programming (1990)