Semantics in Databases - Thalheim, Bernhard; Thalheim, Bernhard; Libkin, Leonid; Libkin, Leonid (Springer Berlin Heidelberg : Imprint: Springer, 1998)