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 And Practice Of Logic Programming, 2018)