1. Blass A, Gurevich Y (1986) Henkin quantifiers and complete problems. Ann Pure App Logic 32:1–16
2. Cormen T, Leiserson C, Rivest R, Stein C (2003) Introduction to algorithms. 2th edn. McGraw-Hill
3. Dechesne F (2005) Game, Set, Maths: Formal investigations into logic with imperfect information. PhD thesis, Tilburg University, Tilburg
4. Fagin R (1974) Generalized first-order spectra and polynomial-time recognizable sets. In: Karp RM (ed) SIAM-AMS Proceedings, Complexity of Computation, vol 7, pp 43–73
5. Galliani P (2008) Game values and equilibria for undetermined sentences of dependence logic. Master’s thesis. Master of Logic Series 2008-08, University of Amsterdam, Amsterdam