Leonid Libkin

• Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
• Constraint databases
• Database theory
• Elements of Finite Model Theory
• Finite Model Theory and Its Applications
• Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
• In Search of Elegance in the Theory and Practice of Computation
• Semantics in databases
• Database Theory - ICDT 2005
• Foundations of Data Exchange