Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1996 : proceedings / Dino Pedreschi, Carlo Zaniolo, (eds.). International Workshop on Logic in Databases (1996 : San Miniato, Italy) Pedreschi, Dino. Zaniolo, Carlo. Database management Congresses. Deductive databases Congresses. Logic programming Congresses. QA76.9.D3 I5857 1996 005.74 20 LOG Includes bibliographical references and index. Berlin ; New York : Springer, c1996. c1996. 1996 Text x, 495 p. : eng Lecture notes in computer science ; 1154 Lecture notes in computer science ; 1154.