@inbook{Decker2014,
    Address = {Berlin, Heidelberg},
    Author = {Decker, Normann and Habermehl, Peter and Leucker, Martin and Thoma, Daniel},
    BookTitle = {CONCUR 2014 -- Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings},
    Editor = {Baldan, Paolo and Gorla, Daniele},
    File = {1404.6064 (0) - a - a - e.pdf},
    ISBN = {978-3-662-44584-6},
    Pages = {497--511},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Ordered Navigation on Multi-attributed Data Words},
    URL = {http://dx.doi.org/10.1007/978-3-662-44584-6\_34},
    Year = {2014},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-44584-6\_34},
    date-added = {2017-06-27 10:29:58 +0000},
    date-modified = {2017-06-27 10:29:58 +0000},
    doi = {10.1007/978-3-662-44584-6_34}
}

@inbook{Decker2014, Address = {Berlin, Heidelberg}, Author = {Decker, Normann and Habermehl, Peter and Leucker, Martin and Thoma, Daniel}, BookTitle = {CONCUR 2014 -- Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings}, Editor = {Baldan, Paolo and Gorla, Daniele}, File = {1404.6064 (0) - a - a - e.pdf}, ISBN = {978-3-662-44584-6}, Pages = {497--511}, Publisher = {Springer Berlin Heidelberg}, Title = {Ordered Navigation on Multi-attributed Data Words}, URL = {http://dx.doi.org/10.1007/978-3-662-44584-6_34}, Year = {2014}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-44584-6_34}, date-added = {2017-06-27 10:29:58 +0000}, date-modified = {2017-06-27 10:29:58 +0000}, doi = {10.1007/978-3-662-44584-6_34} }