@misc{douglas2026tracequantifier,
  author  = {Douglas, Seth and Mghirbi, Nidhal},
  title   = {A trace costs one quantifier: the exact complexity of perfect play in nonlocal games},
  year    = {2026},
  version = {1.0.0},
  doi     = {10.5281/zenodo.23962890},
  url     = {https://doi.org/10.5281/zenodo.23962890}
}