@inproceedings{1691212,
    Author = {Bojanczyk, M. and Muscholl, A. and Schwentick, T. and Segoufin, L. and David, C.},
    BookTitle = {Logic in Computer Science, 2006 21st Annual IEEE Symposium on},
    File = {Two-Variable Logic on Words with Data - Bojanczyk, Muscholl, Schwentick, Segoufin, David (0) (0) - a - a - l.pdf},
    ISSN = {1043-6871},
    Keywords = {data automata},
    Month = {0-0},
    Pages = {7 -16},
    Title = {Two-Variable Logic on Words with Data},
    Year = {2006},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2006.51},
    date-added = {2012-07-04 10:36:46 +0200},
    date-modified = {2012-09-25 08:34:41 +0000},
    doi = {10.1109/LICS.2006.51}
}

@inproceedings{1691212, Author = {Bojanczyk, M. and Muscholl, A. and Schwentick, T. and Segoufin, L. and David, C.}, BookTitle = {Logic in Computer Science, 2006 21st Annual IEEE Symposium on}, File = {Two-Variable Logic on Words with Data - Bojanczyk, Muscholl, Schwentick, Segoufin, David (0) (0) - a - a - l.pdf}, ISSN = {1043-6871}, Keywords = {data automata}, Month = {0-0}, Pages = {7 -16}, Title = {Two-Variable Logic on Words with Data}, Year = {2006}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2006.51}, date-added = {2012-07-04 10:36:46 +0200}, date-modified = {2012-09-25 08:34:41 +0000}, doi = {10.1109/LICS.2006.51} }