Finite Model Theory and Its Applications

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