[1]
M. Bartha, β€œOn the completeness of the traced monoidal category axioms in (Rel,+)”, Acta Cybern, vol. 23, no. 1, pp. 327–347, Jan. 2017.