@misc{indiciae67e2620c32f2,
  title = {Quantifier-free formulas and quantifier alternation depth in doctrines},
  author = {Marco Abbadini and Francesca Guffanti},
  year = {2025},
  url = {https://arxiv.org/abs/2404.08551},
  note = {Source identifier: 2404.08551}
}