F. Hermann, “Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems”, eceasst, vol. 16, Jul. 2009.