@inproceedings{Woods:2013:PAR:2525971.2526011,
    Address = {Berlin, Heidelberg},
    Author = {Woods, Kevin},
    BookTitle = {Proceedings of the 40th International Conference on Automata, Languages, and Programming - Volume Part II},
    File = {Presburger Arithmetic, Rational Generating Functions, and Quasi-polynomials - a - a - i.pdf},
    ISBN = {978-3-642-39211-5},
    Location = {Riga, Latvia},
    Pages = {410--421},
    Publisher = {Springer-Verlag},
    Series = {ICALP'13},
    Title = {Presburger Arithmetic, Rational Generating Functions, and Quasi-polynomials},
    URL = {http://dx.doi.org/10.1007/978-3-642-39212-2\_37},
    Year = {2013},
    acmid = {2526011},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-39212-2\_37},
    date-added = {2019-07-11 20:34:14 +0100},
    date-modified = {2019-07-11 20:34:14 +0100},
    file-2 = {1211.0020 (0) - a - a - i.pdf},
    file-3 = {fe7f44cedd15c25ad0513bb911d9b36233c4 (0) - a - a - i.pdf},
    numpages = {12},
    doi = {10.1007/978-3-642-39212-2_37}
}

@inproceedings{Woods:2013:PAR:2525971.2526011, Address = {Berlin, Heidelberg}, Author = {Woods, Kevin}, BookTitle = {Proceedings of the 40th International Conference on Automata, Languages, and Programming - Volume Part II}, File = {Presburger Arithmetic, Rational Generating Functions, and Quasi-polynomials - a - a - i.pdf}, ISBN = {978-3-642-39211-5}, Location = {Riga, Latvia}, Pages = {410--421}, Publisher = {Springer-Verlag}, Series = {ICALP'13}, Title = {Presburger Arithmetic, Rational Generating Functions, and Quasi-polynomials}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_37}, Year = {2013}, acmid = {2526011}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-39212-2_37}, date-added = {2019-07-11 20:34:14 +0100}, date-modified = {2019-07-11 20:34:14 +0100}, file-2 = {1211.0020 (0) - a - a - i.pdf}, file-3 = {fe7f44cedd15c25ad0513bb911d9b36233c4 (0) - a - a - i.pdf}, numpages = {12}, doi = {10.1007/978-3-642-39212-2_37} }