1. Došen, K.: Equality in substructural logics, in [13], pp. 71–85
2. Došen, K.: Substructural predicates, in [13], pp. 87–101
3. Došen K.: Cut Elimination in Categories. Kluwer, Dordrecht (1999)
4. Došen, K.: Simplicial Endomorphisms, Communications in Algebra, vol. 36, pp. 2681–2709 (2008). Available at http://arXiv.org/math.GT/0301302
5. Došen, K., Petrić, Z.: Bicartesian Coherence, Studia Logica, vol. 71, pp. 331–353 (2002). Version with some corrections in the proof of maximality available at http://arXiv.org/math.CT/0006052