Towards execution time estimation for logic programs via static analysis and profiling - Mera E; López-García P; Puebla G; Carro M; Hermenegildo M (2006)