Elements of Finite Model Theory (2004)

by Leonid Libkin