Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach. - Marilisa E. Carboni; V. Foddai; Fosca Giannotti; Dino Pedreschi (GULP-PRODE, 1995)