Bottoni, P.; Parisi Presicce, F. A Termination Criterion for Graph Transformations With Negative Application Conditions. eceasst 2010, 30.