\input zb-basic
\input zb-ioport
\iteman{io-port 70389720}
\itemau{Clarke, Edmund M.; Mcmillan, Kenneth L.; Zhao, Xudong; Fujita, Masahiro; Yang, J.}
\itemti{Spectral transforms for large Boolean functions with applications to technology mapping}
\itemso{DAC, 54-60 (1993).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/157485.164569}
\end