Coherence of Proof-net Categories Kosta Došen, Zoran Petrić (2005) Publications de l'Institut Mathématique