A Framework for Assertion-based Debugging in Constraint Logic Programming | Publicación