Constraint Propagation as a Proof System | Publicación