Löwe, M.; Tempelmeier, M. On Single-Pushout Rewriting of Partial Algebras. eceasst 2016, 73.