TY - Generic T1 - Logic in Databases, International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings T2 - Lecture Notes in Computer Science Y1 - 1996 A1 - Dino Pedreschi A1 - Carlo Zaniolo JF - Lecture Notes in Computer Science PB - Springer VL - 1154 SN - 3-540-61814-7 ER -