Henkin quantifiers logic, games, and computation - Sevenster, Merlijn (Inst. for Logic, Language and Computation, 2006)