@article{HSP2007,
  author  = {Halupczok, Immanuel and Schlage-Puchta, Jan-Christoph},
  title   = {Achieving {Snaky}},
  journal = {Integers},
  volume  = {7},
  year    = {2007},
  pages   = {G02},
  note    = {28 pp. \url{https://math.colgate.edu/~integers/hg2/hg2.pdf}}
}

@article{Sieben2008,
  author  = {Sieben, N{\'a}ndor},
  title   = {Proof trees for weak achievement games},
  journal = {Integers},
  volume  = {8},
  year    = {2008},
  pages   = {G07},
  note    = {18 pp. \url{https://math.colgate.edu/~integers/ig7/ig7.pdf}}
}

@article{Sieben2004,
  author  = {Sieben, N{\'a}ndor},
  title   = {{Snaky} is a 41-dimensional winner},
  journal = {Integers},
  volume  = {4},
  year    = {2004},
  pages   = {G05},
  note    = {6 pp. \url{https://math.colgate.edu/~integers/eg5/eg5.pdf}}
}

@inproceedings{ItoMiyagawa2007,
  author       = {Ito, Hiro and Miyagawa, Hiromitsu},
  title        = {{Snaky} is a winner with one handicap},
  booktitle    = {8th Hellenic European Conference on Computer Mathematics
                  and its Applications ({HERCMA} 2007)},
  year         = {2007},
  pages        = {25--26},
  address      = {Athens, Greece},
  organization = {Athens University of Economics and Business},
  note         = {20--22 September. Author's publication record:
                  \url{https://www.alg.cei.uec.ac.jp/itohiro/List.html}}
}

@inproceedings{BoucherVillemaire2025,
  author = {Steve Boucher and Roger Villemaire},
  title = {The {QBF} Cover encoding for {Harary}'s Tic-Tac-Toe},
  booktitle = {Proceedings of the 38th Canadian Conference on Artificial Intelligence},
  publisher = {Canadian Artificial Intelligence Association},
  year = {2025},
  note = {Article 2025L28, 12 pp. \url{https://doi.org/10.21428/594757db.6ae0c84a}},
  doi = {10.21428/594757db.6ae0c84a},
  url = {https://caiac.pubpub.org/pub/km2g3t1j/release/1}
}

@article{CsernenszkyMartinPluhar2011,
  author = {Csernenszky, Andr{\'a}s and Martin, Ryan R. and Pluh{\'a}r, Andr{\'a}s},
  title = {On the Complexity of {Chooser-Picker} Positional Games},
  journal = {Integers},
  volume = {11},
  year = {2011},
  pages = {G02},
  note = {16 pp. \url{https://math.colgate.edu/~integers/lg2/lg2.pdf}}
}

@misc{ShaikEtAl2023,
  author = {Shaik, Irfansha and Mayer-Eichberger, Valentin and
            van de Pol, Jaco and Saffidine, Abdallah},
  title = {Implicit State and Goals in {QBF} Encodings for Positional Games
           (extended version)},
  year = {2023},
  eprint = {2301.07345},
  archivePrefix = {arXiv},
  primaryClass = {cs.AI},
  note = {Version 1, January 18, 2023. \url{https://arxiv.org/abs/2301.07345v1}}
}