Constraint Logic Programming with Hereditary Harrop Formula | Publicación