?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=+Bartha+Mikl%C3%B3s&rft.aufirst=Mikl%C3%B3s&rft.aulast=Bartha&rft.title=Acta+cybernetica&rft.volume=23&rft.atitle=On+the+completeness+of+the+traced+monoidal+category+axioms+in+(Rel%2C%2B)&rft.date=2017&rft.pages=327-347&rft.issue=1&rft.issn=0324-721X&rft.genre=article