\input zb-basic
\input zb-ioport
\iteman{io-port 70486884}
\itemau{Vassiljev, S. N.}
\itemti{To automation of theorem sythesis}
\itemso{FCT, 472-476 (1987).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/3-540-18740-5\_103}
\end