Bojanczyk, Segoufin, 2010. Tree Languages Defined in First-Order Logic with One Quantifier Alternation.. https://doi.org/10.2168/lmcs-6(4:1)2010