A higher-order logical framework for the algorithmic debugging and verification of declarative programs | Publicación