Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. - Edison Mera; Teresa Trigo; Pedro López-García 001; Manuel V. Hermenegildo (PADL, 2011)