Leonid Libkin, Bernhard Thalheim: Semantics in Databases, Selected Papers from a Workshop, Prague, Czech Republic, 1995. Lecture Notes in Computer Science 1358, Springer 1998, ISBN 3-540-64199-8