\input zb-basic
\input zb-ioport
\iteman{io-port 70986495}
\itemau{Mcallester, David A.; Selman, Bart; Kautz, Henry A.}
\itemti{Evidence for invariants in local search}
\itemso{AAAI/IAAI, 321-326 (1997).}
\itemcc{}
\itemut{}
\itemli{}
\end