@article{DAS_2017_a16,
     author = {Tristram Bogart and John Goodrick and Kevin Woods},
     title = {Parametric {Presburger} arithmetic: logic, combinatorics, and quasi-polynomial behavior},
     journal = {Discrete analysis},
     year = {2017},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/DAS_2017_a16/}
}