Reasoning with graph constraints | Publicación