Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs | Publicación