Delaying Constraint Solving in Symbolic Graph Transformation | Publicación