Coherence of Proof-net Categories Kosta Došen, Zoran Petrić (2005) Publications de l'Institut Mathématique
Coherence of the double involution on * -autonomous categories. Cockett, J.A.B., Hasegawa, M., Seely, R.A.G. (2006) Theory and Applications of Categories [electronic only]