Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs | Publicación