@inproceedings{gnad-et-al-icaps2023a,
  author       = {Daniel Gnad and Malte Helmert and Peter Jonsson and Alexander Shleyfman},
  title        = {Planning over Integers: Compilations and Undecidability},
  pages        = {148--152},
  editor       = {Sven Koenig and Roni Stern and Mauro Vallati},
  booktitle    = {Proceedings of the Thirty-Third International Conference on Automated
    Planning and Scheduling (ICAPS 2023)},
  year         = 2023,
  publisher    = {AAAI Press},
}