Elements of finite model theory / Leonid Libkin. - Libkin, Leonid (Texts in theoretical computer science, 2004)