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