@inproceedings{peteler_et_al:LIPIcs.MFCS.2022.76,
    Address = {Dagstuhl, Germany},
    Annote = {Keywords: Data Languages, Strings, Constraints, Prefix, Suffix, Automata, Linear Temporal Logic},
    Author = {Peteler, Dominik and Quaas, Karin},
    BookTitle = {47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)},
    Editor = {Szeider, Stefan and Ganian, Robert and Silva, Alexandra},
    File = {Deciding Emptiness for Constraint Automata on Strings with the Prefix and Suffix Order - LIPIcs-MFCS-2022-76.pdf},
    ISBN = {978-3-95977-256-3},
    ISSN = {1868-8969},
    Pages = {76:1--76:15},
    Publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
    Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
    Title = {{Deciding Emptiness for Constraint Automata on Strings with the Prefix and Suffix Order}},
    URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16874},
    Volume = {241},
    Year = {2022},
    bdsk-url-1 = {https://drops.dagstuhl.de/opus/volltexte/2022/16874},
    bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.MFCS.2022.76},
    date-added = {2022-08-29 14:38:31 +0200},
    date-modified = {2022-08-29 14:38:31 +0200},
    urn = {urn:nbn:de:0030-drops-168743},
    doi = {10.4230/LIPIcs.MFCS.2022.76}
}

@inproceedings{peteler_et_al:LIPIcs.MFCS.2022.76, Address = {Dagstuhl, Germany}, Annote = {Keywords: Data Languages, Strings, Constraints, Prefix, Suffix, Automata, Linear Temporal Logic}, Author = {Peteler, Dominik and Quaas, Karin}, BookTitle = {47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)}, Editor = {Szeider, Stefan and Ganian, Robert and Silva, Alexandra}, File = {Deciding Emptiness for Constraint Automata on Strings with the Prefix and Suffix Order - LIPIcs-MFCS-2022-76.pdf}, ISBN = {978-3-95977-256-3}, ISSN = {1868-8969}, Pages = {76:1--76:15}, Publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, Series = {Leibniz International Proceedings in Informatics (LIPIcs)}, Title = {{Deciding Emptiness for Constraint Automata on Strings with the Prefix and Suffix Order}}, URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16874}, Volume = {241}, Year = {2022}, bdsk-url-1 = {https://drops.dagstuhl.de/opus/volltexte/2022/16874}, bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.MFCS.2022.76}, date-added = {2022-08-29 14:38:31 +0200}, date-modified = {2022-08-29 14:38:31 +0200}, urn = {urn:nbn:de:0030-drops-168743}, doi = {10.4230/LIPIcs.MFCS.2022.76} }