Order-Invariance of Two-Variable Logic is Decidable.

Thomas Zeume, Frederik Harwath

Browse the full LICS paper archive.