@inproceedings{BEGHJ20,
  author    = {Michael Blondin and Javier Esparza and Blaise Genest
                  and Martin Helfrich and Stefan Jaax},
  title     = {Succinct Population Protocols for Presburger Arithmetic}, 
  booktitle = {Proc.\ $37^\text{th}$ Symposium on Theoretical Aspects
                  of Computer Science ({STACS})},
  volume    = {154},
  pages     = {40:1--40:15},
  doi       = {10.4230/LIPIcs.STACS.2020.40},
  year      = {2020}
}