\input zb-basic
\input zb-ioport
\iteman{io-port 70775838}
\itemau{Chavarr{\'\i}a-B\'aez, Lorena; Li, Xiaoou}
\itemti{Ecapnver: A software tool to verify active rule bases}
\itemso{ICTAI (2), 138-141 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1109/ICTAI.2010.94}
\end