@misc{indiciaec104ae442d2b,
  title = {Mixed quantifier prefixes over Diophantine equations with integer variables},
  author = {Zhi-Wei Sun},
  year = {2024},
  url = {https://arxiv.org/abs/2103.08302},
  note = {Source identifier: 2103.08302}
}