D. Plump, “Checking Graph-Transformation Systems for Confluence”, eceasst, vol. 26, Apr. 2010.