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