@article{arenas:barcelo:libkin:2011,
    Author = {Arenas, Marcelo and Barcel{\'o}, Pablo and Libkin, Leonid},
    File = {Regular Languages of Nested Words Fixed Points, Automata, and Synchronization - Arenas, Barceló, Libkin (1) (0) - a - a - d.pdf},
    ISSN = {1432-4350},
    Journal = {Theory of Computing Systems},
    Keywords = {Automata; Nested words; Mu-calculus; Query languages; Automatic structures},
    Language = {English},
    Number = {3},
    Pages = {639-670},
    Publisher = {Springer-Verlag},
    Title = {Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization},
    URL = {http://dx.doi.org/10.1007/s00224-010-9292-5},
    Volume = {49},
    Year = {2011},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s00224-010-9292-5},
    date-added = {2013-11-13 11:00:01 +0000},
    date-modified = {2013-11-13 11:00:01 +0000},
    file-2 = {Regular Languages of Nested Words Fixed Points, Automata, and Synchronization - Arenas, Barceló, Libkin (0) (0) - a - a - d.pdf},
    doi = {10.1007/s00224-010-9292-5}
}

@article{arenas:barcelo:libkin:2011, Author = {Arenas, Marcelo and Barcel{\'o}, Pablo and Libkin, Leonid}, File = {Regular Languages of Nested Words Fixed Points, Automata, and Synchronization - Arenas, Barceló, Libkin (1) (0) - a - a - d.pdf}, ISSN = {1432-4350}, Journal = {Theory of Computing Systems}, Keywords = {Automata; Nested words; Mu-calculus; Query languages; Automatic structures}, Language = {English}, Number = {3}, Pages = {639-670}, Publisher = {Springer-Verlag}, Title = {Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization}, URL = {http://dx.doi.org/10.1007/s00224-010-9292-5}, Volume = {49}, Year = {2011}, bdsk-url-1 = {http://dx.doi.org/10.1007/s00224-010-9292-5}, date-added = {2013-11-13 11:00:01 +0000}, date-modified = {2013-11-13 11:00:01 +0000}, file-2 = {Regular Languages of Nested Words Fixed Points, Automata, and Synchronization - Arenas, Barceló, Libkin (0) (0) - a - a - d.pdf}, doi = {10.1007/s00224-010-9292-5} }