An Assertion Language for Constraint Logic Programs | Publicación