(Co-)Inductive semantics for Constraint Handling Rules | Publicación