An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs | Publicación