\input zb-basic
\input zb-ioport
\iteman{io-port 70024444}
\itemau{Ozaki, Yuri; Bekki, Daisuke}
\itemti{Conditional logic $C_{b}$ and its tableau system}
\itemso{LACL, 190-204 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-22221-4\_13}
\end