@misc{indiciae7574b781137e,
  title = {Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)},
  author = {Florian Frohn and Jürgen Giesl},
  year = {2022},
  url = {https://arxiv.org/abs/2202.04546},
  note = {Source identifier: 2202.04546}
}