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