Dino Pedreschi Carlo Zaniolo Logic in Databases, International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings LID Lecture Notes in Computer Science 1154 Springer 1996 3-540-61814-7 db/conf/lid/lid96.html