@inproceedings{AlurDAntoniDeshmukhRaghothamanYuan:LICS:2013,
    title = {Regular Functions and Cost Register Automata},
    url = {http://dx.doi.org/10.1109/lics.2013.65},
    doi = {10.1109/lics.2013.65},
    booktitle = {2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science},
    publisher = {IEEE},
    author = {Alur, Rajeev and D'Antoni, Loris and Deshmukh, Jyotirmoy and Raghothaman, Mukund and Yuan, Yifei},
    year = {2013},
    month = {jun},
    pages = {13–22},
    date-added = {2025-1-23 8:53:51 +0100}
}

@inproceedings{AlurDAntoniDeshmukhRaghothamanYuan:LICS:2013, title = {Regular Functions and Cost Register Automata}, url = {http://dx.doi.org/10.1109/lics.2013.65}, doi = {10.1109/lics.2013.65}, booktitle = {2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science}, publisher = {IEEE}, author = {Alur, Rajeev and D'Antoni, Loris and Deshmukh, Jyotirmoy and Raghothaman, Mukund and Yuan, Yifei}, year = {2013}, month = {jun}, pages = {13–22}, date-added = {2025-1-23 8:53:51 +0100} }