Finite Model Theory and Its Applications by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein.

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

Complexity of Constraints An Overview of Current Research Themes / edited by Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer.

Published 2008