@misc{indiciaed55e36f2298b,
  title = {Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy},
  author = {Christoph Berkholz and Andreas Krebs and Oleg Verbitsky},
  year = {2013},
  url = {https://arxiv.org/abs/1212.2747},
  note = {Source identifier: 1212.2747}
}