\input zb-basic
\input zb-ioport
\iteman{io-port 70171381}
\itemau{Naqvi, Shamim A.}
\itemti{Negative queries in Horn databases}
\itemso{Expert Database Conf., 227-236 (1986).}
\itemcc{}
\itemut{}
\itemli{}
\end