Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation | Publicación