@misc{indiciaeb91b6c2fa7c8,
  title = {Modular Automatic Complexity Analysis of Recursive Integer Programs},
  author = {Nils Lommen and Jürgen Giesl},
  year = {2026},
  url = {https://arxiv.org/abs/2512.18851},
  note = {Source identifier: 2512.18851}
}