Hermann, F. Permutation Equivalence of DPO Derivations With Negative Application Conditions Based on Subobject Transformation Systems. ECEASST 2009, 16.