Register Automata with Extrema Constraints, and an Application to Two-Variable Logic.

Szymon Torunczyk, Thomas Zeume

Browse the full LICS paper archive.