Erich Grädel. Back and forth between logic and games. In Krzysztof R. Apt, Erich Grädel, editors, Lectures in Game Theory for Computer Scientists. pages 99-145, Cambridge University Press, 2011.
@incollection{Gradel11,
title = {Back and forth between logic and games},
author = {Erich Grädel},
year = {2011},
researchr = {https://researchr.org/publication/Gradel11},
cites = {0},
citedby = {0},
pages = {99-145},
booktitle = {Lectures in Game Theory for Computer Scientists},
editor = {Krzysztof R. Apt and Erich Grädel},
publisher = {Cambridge University Press},
isbn = {978-0-521-19866-0},
}