Henkin quantifiers logic, games, and computation - Sevenster, Merlijn (ILLC research report and technical notes series, 2006)