Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy.

Christoph Berkholz, Andreas Krebs, Oleg Verbitsky

Browse the full CSL paper archive.