\input zb-basic
\input zb-ioport
\iteman{io-port 70802737}
\itemau{Ramanujam, Ramaswamy}
\itemti{Locally linear time temporal logic}
\itemso{LICS, 118-127 (1996).}
\itemcc{}
\itemut{}
\itemli{}
\end