Tree Languages Defined in First-Order Logic with One Quantifier Alternation.

Mikolaj Bojanczyk, Luc Segoufin

Browse the full ICALP paper archive.