Finite Model Theory and Its ApplicationsErich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel H. Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein · First published 2007 · Latest edition 2014Open the Tome
Reasoning Web. Reasoning and the Web in the Big Data EraManolis Koubarakis, Giorgos Stamou, Giorgos Stoilos, Ian Horrocks, Phokion Kolaitis · First published 2014Open the Tome
Complexity of ConstraintsNadia Creignou, Phokion G. Kolaitis, Heribert Vollmer · First published 2008Open the Tome
