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

Ahmet Kara Thomas Schwentick Tony Tan Feasible Automata for Two-Variable Logic with Successor on Data Words. 351-362 2012 LATA http://dx.doi.org/10.1007/978-3-642-28332-1_30 conf/lata/2012 db/conf/lata/lata2012.html#KaraST12