@conference {DBLP:conf/sebd/CarboniGFP95, title = {Declarative Reconstruction of Updates in Logic Databases: A Compilative Approach}, booktitle = {SEBD}, year = {1995}, pages = {3-13}, author = {Marilisa E. Carboni and Fosca Giannotti and V. Foddai and Dino Pedreschi} }