\input zb-basic
\input zb-ioport
\iteman{io-port 01698753}
\itemau{Benzm\"uller, Christoph; Meier, Andreas; Sorge, Volker}
\itemti{Distributed assertion retrieval.}
\itemso{Buchberger, Bruno (ed.) et al., Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schlo{\ss} Hagenberg, Austria, September 24-26, 2001. Linz: Univ. Linz, 7 p. (2001).}
\itemcc{}
\itemut{}
\itemli{http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/Proceedings/}
\end