Cut elimination in categories - Dosen, Kosta (Kluwer Academic, 1999)