Louis Rustenholz, Pedro López-García, José F. Morales, Manuel V. Hermenegildo: An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. Zenodo 2024