\input zb-basic
\input zb-ioport
\iteman{io-port 70310024}
\itemau{Abramson, Harvey}
\itemti{Unification-based conditional binding constructs}
\itemso{ICLP, 182-186 (1982).}
\itemcc{}
\itemut{}
\itemli{}
\end