@proceedings {DBLP:conf/lid/1996, title = {Logic in Databases, International Workshop LID{\textquoteright}96, San Miniato, Italy, July 1-2, 1996, Proceedings}, volume = {1154}, year = {1996}, publisher = {Springer}, isbn = {3-540-61814-7}, author = {Dino Pedreschi and Carlo Zaniolo} }