Feasible Automata for Two-Variable Logic with Successor on Data Words.

Ahmet Kara, Thomas Schwentick, Tony Tan

Browse the full LATA paper archive.