1. Borisavljević, M., Došen, K., Petrić, Z.: On permuting cut with contraction. Math. Struct. Comput. Sci. 10, 99–136 (2000).
http://arXiv.org
2. Došen, K.: Deductive completeness. Bull. Symb. Log. 2(523), 243–283 (1996). For corrections see [4], Section 5.1.7, and [5]
3. Došen, K.: Deductive systems and categories. Publications de l’Institut Mathématique N.S. 64(78), 21–35 (1998)
4. Došen, K.: Cut Elimination in Categories. Kluwer, Dordrecht (1999)
5. Došen, K.: Abstraction and application in adjunction. In: Kadelburg, Z. (ed.) Proceedings of the Tenth Congress of Yugoslav Mathematicians, pp. 33–46. Faculty of Mathematics. University of Belgrade, Belgrade (2001) Available at:
http://arXiv.org