ISMVL3.bbl
\begin{thebibliography}{10}\setlength{\itemsep}{-1ex}\small

\bibitem{Bry86}
R.~Bryant.
\newblock Graph - based algorithm for {B}oolean function manipulation.
\newblock {\em IEEE Trans. on Computers}, C-35(8):667--691, 1986.

\bibitem{But00}
J.~Butler, G.~Dueck, V.~Shmerko, and S.~Yanushkevich.
\newblock Comments on "{S}ympathy": Fast exact minimization of fixed polarity
  {R}eed-{M}uller expansion for symmetric functions.
\newblock {\em IEEE Trans. on Computer-Aided Design of Integrated Circuits and
  Systems}, 19(11):1386--1388, 2000.

\bibitem{Dani01}
A.~Dani, D.~Popel, and A.~Tomaszewska.
\newblock Minimizing esop expressions using fractals.
\newblock In {\em Proc. 10th Int. Workshop on {P}ost-{B}inary {U}ltra-{L}arge
  {S}cale {I}ntegration}, 2001.

\bibitem{Green90}
D.~Green.
\newblock {R}eed-{M}uller expansions with fixed and mixed polarities over
  {G}{F}(4).
\newblock {\em IEE Proceedings, Pt. E.}, 137(5):380--388, 1990.

\bibitem{Lin98}
P.~Lindgren, R.~Drechsler, and B.~Becker.
\newblock Look-up table {F}{P}{G}{A} synthesis from minimized multi-valued
  {K}ronecker expressions.
\newblock In {\em Proc. IEEE Int. Symp. on Multiple-Valued Logic}, pages
  95--100, 1998.

\bibitem{Man82}
B.~Mandelbrot.
\newblock {\em The Fractal Geometry of Nature}.
\newblock Freeman \& Co, 1982.

\bibitem{Pop01}
D.~Popel.
\newblock Towards efficient calculation of information measures for reordering
  of {B}inary {D}ecision {D}iagrams.
\newblock In {\em Proc. IEEE Int. Symp. on Signals, Circuits and Systems},
  pages 509 -- 512, 2001.

\bibitem{Sas99}
T.~Sasao.
\newblock {\em Switching Theory for Logic Synthesis}.
\newblock Kluwer Academic Publishers, 1999.

\bibitem{Sier16}
W.~Sierpinski.
\newblock On a curve every point of which is a point of ramification.
\newblock {\em Prace Mat. Fiz. (In Polish)}, 27:77--86, 1916.

\bibitem{Song97}
N.~Song and M.~Perkowski.
\newblock New fast approach to approximate {ESOP} minimization for incompletely
  specified multi-output functions.
\newblock In {\em Proc. IFIP 10.5 Workshop on Application of Reed-Muller
  Expansions in Circuit Design}, pages 61--72, 1997.

\bibitem{Paul97}
P.~St.Denis and P.~Grim.
\newblock Fractal images of formal systems.
\newblock {\em The Journal of Philosophical Logic}, 26:181--222, 1997.

\bibitem{sup95}
V.~Suprun.
\newblock Fixed polarity {R}eed-{M}uller expressions of symmetric {B}oolean
  functions.
\newblock In {\em Proc. IFIP 10.5 Workshop on Application of Reed-Muller
  Expansions in Circuit Design}, pages 246--249, 1995.

\bibitem{Yan00}
S.~Yanushkevich, D.~Popel, V.~Shmerko, V.~Cheushev, and R.~Stankovi\'c.
\newblock Information theoretic approach to minimization of polynomial
  expressions over {G}{F}(4).
\newblock In {\em Proc. IEEE Int. Symp. on Multiple-Valued Logic}, pages
  265--270, 2000.

\end{thebibliography}
