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