Ahmet Kara, Thomas Schwentick, Tony Tan. Feasible Automata for Two-Variable Logic with Successor on Data Words. In Adrian Horia Dediu, Carlos Martín-Vide, editors, Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. Volume 7183 of Lecture Notes in Computer Science, pages 351-362, Springer, 2012. [doi]
Abstract is missing.