M. Bartha, “On the completeness of the traced monoidal category axioms in (Rel,+)”, Acta Cybern, vol. 23, no. 1, pp. 327-347, Jan. 2017.