Stéphane Demri, Diego Figueira, M. Praveen. Reasoning about Data Repetitions with Counter Systems. In 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013. pages 33-42, IEEE Computer Society, 2013. [doi]
@inproceedings{DemriFP13, title = {Reasoning about Data Repetitions with Counter Systems}, author = {Stéphane Demri and Diego Figueira and M. Praveen}, year = {2013}, doi = {10.1109/LICS.2013.8}, url = {http://doi.ieeecomputersociety.org/10.1109/LICS.2013.8}, researchr = {https://researchr.org/publication/DemriFP13}, cites = {0}, citedby = {0}, pages = {33-42}, booktitle = {28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013}, publisher = {IEEE Computer Society}, isbn = {978-1-4799-0413-6}, }