Marilisa E. Carboni Fosca Giannotti V. Foddai Dino Pedreschi Declarative Reconstruction of Updates in Logic Databases: A Compilative Approach. 3-13 1995 SEBD db/conf/sebd/sebd1995.html#CarboniGFP95