@inproceedings{https___doi.org_10.4230_lipics.csl.2012.528,
    doi = {10.4230/lipics.csl.2012.528},
    url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2012.528},
    author = {Wu, Zhilin},
    keywords = {Data Automata, Commutative regular languages, Presburger arithmetic, Existential Monadic Second-order logic, Büchi automata},
    language = {en},
    title = {Commutative Data Automata},
    publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
    year = {2012},
    copyright = {Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license},
    date-added = {2025-1-20 20:12:58 +0100}
}

@inproceedings{https___doi.org_10.4230_lipics.csl.2012.528, doi = {10.4230/lipics.csl.2012.528}, url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2012.528}, author = {Wu, Zhilin}, keywords = {Data Automata, Commutative regular languages, Presburger arithmetic, Existential Monadic Second-order logic, Büchi automata}, language = {en}, title = {Commutative Data Automata}, publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, year = {2012}, copyright = {Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license}, date-added = {2025-1-20 20:12:58 +0100} }