Finite Model Theory and Its Applications

by Grädel, Erich , Kolaitis, Phokion G. , Libkin, Leonid , Marx, Maarten , Spencer, Joel , Vardi, Moshe Y. , Venema, Yde , Weinstein, Scott
Published 2007