Bottoni, P. and Parisi Presicce, F. (2010) “A Termination Criterion for Graph Transformations with Negative Application Conditions”, Electronic Communications of the EASST, 30. doi: 10.14279/tuj.eceasst.30.419.