1. Ahmet Kara, Thomas Schwentick and Tony Tan.
    Feasible Automata for Two-Variable Logic with Successor on Data Words.
    In Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. 2012, 351–362.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/lata/KaraST12,
    	author = "Ahmet Kara and Thomas Schwentick and Tony Tan",
    	title = "Feasible Automata for Two-Variable Logic with Successor on Data Words",
    	booktitle = "Language and Automata Theory and Applications - 6th International Conference, {LATA} 2012, {A} Coru{\~{n}}a, Spain, March 5-9, 2012. Proceedings",
    	year = 2012,
    	pages = "351--362",
    	crossref = "DBLP:conf/lata/2012",
    	url = "http://dx.doi.org/10.1007/978-3-642-28332-1_30",
    	doi = "10.1007/978-3-642-28332-1_30",
    	timestamp = "Tue, 18 Nov 2014 21:28:37 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/lata/KaraST12",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }