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
Foundations of Data ExchangeMarcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak · First published 2014Open the Tome
In Search of Elegance in the Theory and Practice of ComputationVal Tannen, Limsoon Wong, Leonid Libkin · First published 2013Open the Tome
