\input zb-basic
\input zb-ioport
\iteman{io-port 70309744}
\itemau{Fujita, Masahiro; Kono, Shinji; Tanaka, Hidehiko; Moto-Oka, Tohru}
\itemti{Tokio: logic programming language based on temporal logic and its compilation to prolog}
\itemso{ICLP, 695-709 (1986).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/3-540-16492-8\_119}
\end