\input zb-basic
\input zb-ioport
\iteman{io-port 70351143}
\itemau{Dosen, Kosta; Petric, Zoran}
\itemti{Coherent bicartesian and sesquicartesian categories}
\itemso{Proof Theory in Computer Science, 78-92 (2001).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/3-540-45504-3\_6}
\end