Kosta Dosen Zoran Petric Bicartesian Coherence. 331-353 2002 71 Studia Logica 3 db/journals/sLogica/sLogica71.html#DosenP02