An approach to profiling for run-time checking of computational properties and performance debugging in logic programs. | Publicación