Steffen Jurk, Mira Balaban. Towards Effect Preservation of Updates with Loops. In Michael Gertz, editor, Integrity and Internal Control in Information Systems V, IFIP TC11/WG11.5 Fifth Working Conference on Integrity and Internal Control in Information Systems (IICIS), November 11-12, 2002, Bonn, Germany. Volume 251 of IFIP Conference Proceedings, pages 59-75, Kluwer, 2002.
Abstract is missing.