Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. - LOPEZ-GARCIA, P.; DARMAWAN, L.; KLEMEN, M.; LIQAT, U.; BUENO, F.; HERMENEGILDO, M. V. (Theory & Practice of Logic Programming, 2018)