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