@inproceedings{MottetQuaas:STACS:2019,
    Address = {Dagstuhl, Germany},
    Annote = {Keywords: Data words, Register automata, Unambiguous Automata, Containment Problem, Language Inclusion Problem},
    Author = {Mottet, Antoine and Quaas, Karin},
    BookTitle = {Proc. of STACS'19},
    Editor = {Niedermeier, Rolf and Paul, Christophe},
    File = {LIPIcs-STACS-2019-53 (0) (0) - a - a - z.pdf},
    ISBN = {978-3-95977-100-9},
    ISSN = {1868-8969},
    Pages = {53:1--53:15},
    Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
    Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
    Title = {{The Containment Problem for Unambiguous Register Automata}},
    URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10292},
    Volume = {126},
    Year = {2019},
    bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2019/10292},
    bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.STACS.2019.53},
    date-added = {2019-04-04 08:52:39 +0200},
    date-modified = {2020-05-08 09:37:15 +0200},
    doi = {10.4230/LIPIcs.STACS.2019.53}
}

@inproceedings{MottetQuaas:STACS:2019, Address = {Dagstuhl, Germany}, Annote = {Keywords: Data words, Register automata, Unambiguous Automata, Containment Problem, Language Inclusion Problem}, Author = {Mottet, Antoine and Quaas, Karin}, BookTitle = {Proc. of STACS'19}, Editor = {Niedermeier, Rolf and Paul, Christophe}, File = {LIPIcs-STACS-2019-53 (0) (0) - a - a - z.pdf}, ISBN = {978-3-95977-100-9}, ISSN = {1868-8969}, Pages = {53:1--53:15}, Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, Series = {Leibniz International Proceedings in Informatics (LIPIcs)}, Title = {{The Containment Problem for Unambiguous Register Automata}}, URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10292}, Volume = {126}, Year = {2019}, bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2019/10292}, bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.STACS.2019.53}, date-added = {2019-04-04 08:52:39 +0200}, date-modified = {2020-05-08 09:37:15 +0200}, doi = {10.4230/LIPIcs.STACS.2019.53} }