Tree Languages Defined in First-Order Logic with One Quantifier Alternation (Logical Methods in Computer Science, 2010)