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