\input zb-basic
\input zb-ioport
\iteman{io-port 05750243}
\itemau{Dal Lago, Ugo; Hofmann, Martin}
\itemti{Bounded linear logic, revisited.}
\itemso{Comput. Res. Repos. 2009, Article No. 0904.2675 (2009).}
\itemcc{}
\itemut{}
\itemli{arXiv:0904.2675}
\end