TY  - RPRT
TI  - Quantifier-free formulas and quantifier alternation depth in doctrines
AU  - Marco Abbadini
AU  - Francesca Guffanti
PY  - 2025
UR  - https://arxiv.org/abs/2404.08551
ID  - 2404.08551
ER  -