Weak MSO+U over infinite trees.

Mikolaj Bojanczyk, Szymon Torunczyk

Browse the full STACS paper archive.