Bartha, M. 2017. On the completeness of the traced monoidal category axioms in (Rel,+). Acta Cybernetica. 23, 1 (Jan. 2017), 327-347. DOI:https://doi.org/10.14232/actacyb.23.1.2017.18.