Elisa Bertino, Maurizio Martelli, Danilo Montesi: Modeling Database Updates with Constraint Logic Programming. Workshop on Deductive Databases, JICSLP 1992: 175-184