Elements of Finite Model Theory (2004)

by L Libkin