One-Dimensional Logic over Trees.

Emanuel Kieronski, Antti Kuusisto

Browse the full MFCS paper archive.