@inproceedings{BR20,
  author    = {Michael Blondin and Mikhail Raskin},
  title     = {The Complexity of Reachability in Affine Vector
                  Addition Systems with States}, 
  booktitle = {Proc.\ $35^\text{th}$ Annual ACM/IEEE Symposium on
                  Logic in Computer Science ({LICS})},
  pages     = {224--236},
  doi       = {10.1145/3373718.3394741},
  year      = {2020}
}