On the Decidability of MSO+U on Infinite Trees.

Mikolaj Bojanczyk, Tomasz Gogacz, Henryk Michalewski, Michal Skrzypczak

Browse the full ICALP paper archive.