\input zb-basic
\input zb-ioport
\iteman{io-port 70122859}
\itemau{Fusaoka, Akira}
\itemti{Nonmonotonic reasoning on a constructive time structure}
\itemso{TIME (1996).}
\itemcc{}
\itemut{}
\itemli{}
\end