Declarative Semantics for Active Integrity Constraints.

Luciano Caroprese, Miroslaw Truszczynski

Browse the full ICLP paper archive.