TY - CONF T1 - Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach T2 - GULP-PRODE Y1 - 1995 A1 - Marilisa E. Carboni A1 - V. Foddai A1 - Fosca Giannotti A1 - Dino Pedreschi JF - GULP-PRODE ER -