TY  - RPRT
TI  - Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy
AU  - Christoph Berkholz
AU  - Andreas Krebs
AU  - Oleg Verbitsky
PY  - 2013
UR  - https://arxiv.org/abs/1212.2747
ID  - 1212.2747
ER  -