[1]
D. Plump, “Checking Graph-Transformation Systems for Confluence”, ECEASST, vol. 26, Apr. 2010.