\input zb-basic
\input zb-ioport
\iteman{io-port 70471663}
\itemau{Gergely, Tam\'as; Sz\"ots, Mikl\'os}
\itemti{Cuttable formulas for logic programming}
\itemso{SLP, 299-310 (1984).}
\itemcc{}
\itemut{}
\itemli{}
\end