Bartha, Miklós. 2017. “On the Completeness of the Traced Monoidal Category Axioms in (Rel,+)”. Acta Cybernetica 23 (1), 327-47. https://doi.org/10.14232/actacyb.23.1.2017.18.