\input zb-basic
\input zb-ioport
\iteman{io-port 70309755}
\itemau{Smolka, Gert; Treinen, Ralf}
\itemti{Records for logic programming}
\itemso{JICSLP, 240-254 (1992).}
\itemcc{}
\itemut{}
\itemli{}
\end