Plump, D. Checking Graph-Transformation Systems for Confluence. eceasst 2010, 26.