Computing Abstract Distances in Logic Programs | Publicación