@article{
  author={Arjun Pitchanathan and Christian Ulmann and Michel Weber and Torsten Hoefler and Tobias Grosser},
  title={{FPL: fast Presburger arithmetic through transprecision}},
  journal={OOPSLA '21: Proceedings of the ACM international conference on Object oriented programming systems languages and applications},
  year={2021},
  month={Nov.},
  volume={},
  number={},
  publisher={ACM},
}