Using combined static analysis and profiling for logic program execution time estimation - Mera, Edison; Lopez-Garcia, Pedro; Puebla, German; Carro, Manuel; Hermenegildo, Manuel; (Lecture Notes In Computer Science, 2006)