P. Bottoni and F. Parisi Presicce, “A Termination Criterion for Graph Transformations with Negative Application Conditions”, eceasst, vol. 30, Nov. 2010.