Elements of Finite Model Theory (2004)

by Leonid Libkin
Venue:Texts in Theoretical Computer Science