@conference {DBLP:conf/agp/CarboniFGP95, title = {Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach}, booktitle = {GULP-PRODE}, year = {1995}, pages = {169-182}, author = {Marilisa E. Carboni and V. Foddai and Fosca Giannotti and Dino Pedreschi} }