An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. - Louis Rustenholz, Pedro Lopez-Garcia, José F. Morales, Manuel V. Hermenegildo (Static Analysis Symposium, 2024)