M. Löwe and M. Tempelmeier, “On Single-Pushout Rewriting of Partial Algebras”, eceasst, vol. 73, Apr. 2016.