The MSO+U Theory of (N, <) Is Undecidable.

Mikolaj Bojanczyk, Pawel Parys, Szymon Torunczyk

Browse the full STACS paper archive.