\input zb-basic
\input zb-ioport
\iteman{io-port 70142031}
\itemau{Zhan-Ao, Xue; Hua-Can, He; Ying-Cang, Ma}
\itemti{Algebraic property of rough implication based on interval structure}
\itemso{Intelligent Information Processing, 147-152 (2004).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/0-387-23152-8\_19}
\end