Opher Etzion. Reasoning About the Behavior of Active Database Applications. In Timos K. Sellis, editor, Rules in Database Systems, Second International Workshop, RIDS 95, Glyfada, Athens, Greece, September 25 - 27, 1995, Proceedings. Volume 985 of Lecture Notes in Computer Science, pages 86-100, Springer, 1995.
Abstract is missing.