\input zb-basic
\input zb-ioport
\iteman{io-port 70748383}
\itemau{Chaudhri, Vinay K.; Hadzilacos, Vassos; Mylopoulos, John}
\itemti{Concurrency control for knowledge bases}
\itemso{KR, 762-773 (1992).}
\itemcc{}
\itemut{}
\itemli{}
\end