Books by Leonid Libkin
Foundations of Data Exchange
Foundations of Data Exchange
In Search of Elegance in the Theory and Practice of Computation
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)