@misc{indiciaed41ac4b0987b,
  title = {An Order Theory Framework of Recurrence Equations for Static Cost Analysis \$-\$ Dynamic Inference of Non-Linear Inequality Invariants},
  author = {Louis Rustenholz and Pedro Lopez-Garcia and José F. Morales and Manuel V. Hermenegildo},
  year = {2024},
  url = {https://arxiv.org/abs/2406.18260},
  note = {Source identifier: 2406.18260}
}