\input zb-basic
\input zb-ioport
\iteman{io-port 70863211}
\itemau{Kutten, Shay; Peleg, David}
\itemti{Tight fault locality (Extended abstract)}
\itemso{FOCS, 704-713 (1995).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/SFCS.1995.492672}
\end