@misc{indiciaed6499d67c66e,
  title = {Polynomial Prenexing of QBFs with Non-Monotone Boolean Operators},
  author = {Abdallah Saffidine and Andreas Herzig},
  year = {2025},
  url = {https://arxiv.org/abs/2506.12562},
  note = {Source identifier: 2506.12562}
}