\input zb-basic
\input zb-ioport
\iteman{io-port 70124460}
\itemau{Darwiche, Adnan}
\itemti{Model-based diagnosis using causal networks}
\itemso{IJCAI, 211-219 (1995).}
\itemcc{}
\itemut{}
\itemli{}
\end