User-Definable Resource Bounds Analysis for Logic Programs | Publicación