Bartha Miklós:   On the completeness of the traced monoidal category axioms in (Rel,+).  In: Acta cybernetica, (23) 1.  pp. 327-347. (2017)