"Logic in Databases: International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings " - читать интересную книгу автора (Dino Pedreschi, Carlo Zaniolo)