Hiord²pt: An Approach to the Specification and Verification of Higher-Order (C)LP Programs | Publicación