You are about to access our book library "Logic in Databases: International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings (Lecture Notes in Computer Science, 1154) full version" .