\input zb-basic
\input zb-ioport
\iteman{io-port 50288522}
\itemau{Baratella, Stefano; Fil\'e, Gilberto}
\itemti{A completeness result for SLDNF resoultion}
\itemso{Bulletin of the EATCS 35, 97-105 (1988).}
\itemcc{}
\itemut{}
\itemli{}
\end