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