SRecognition2.bbl
\begin{thebibliography}{10}

\bibitem{but98}
J.~Butler and T.~Sasao.
\newblock On the properties of multiple-valued functions that are symmetric in
  both variables and labels.
\newblock In {\em Proc. IEEE Int. Symp. on Multiple-Valued Logic}, pages
  236--241, 1998.

\bibitem{das71}
S.~Das and C.~Sheng.
\newblock On detecting total or partial symmetry of switching functions.
\newblock {\em IEEE Trans. on Computers}, pages 352--355, 1971.

\bibitem{Drech99}
R.~Drechsler and B.~Becker.
\newblock {\em Binary Decision Diagrams: theory and implementation}.
\newblock Kluwer Academic Publishers, 1999.

\bibitem{edwa78}
C.~Edwards and S.~Hurst.
\newblock A digital synthesis procedure under function symmetries and mapping
  methods.
\newblock {\em IEEE Trans. on Computer}, C-27(11):985--997, 1978.

\bibitem{wuu95}
W.~Ke and P.~Menon.
\newblock Delay-testable implementation of symmetric functions.
\newblock {\em IEEE Trans. on Computers}, C-14(6):772--775, 1995.

\bibitem{pom94}
I.~Pomeranz and S.~Reddy.
\newblock On determining symmetries in inputs of logic circuits.
\newblock {\em IEEE Trans. on CAD of Integrated Circuits and Systems},
  13(11):1478--1433, 1994.

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

\bibitem{Pop99ACS}
D.~Popel, P.~Dziurzanski, and A.~Tomaszewska.
\newblock On detecting symmetries in switching functions using entropy
  measures.
\newblock In {\em Proc. Int. Conf. on Advanced Computer Systems - ACS'99},
  pages 475--482, 1999.

\bibitem{Sch99}
C.~Scholl, D.~Moller, P.~Molitor, and R.~Drechsler.
\newblock {BDD} minimization using symmetries.
\newblock {\em In IEEE Trans. on CAD of Integrated Circuits and Systems},
  18(2):81--100, 1999.

\bibitem{Sha48}
C.~Shannon.
\newblock A mathematical theory of communication.
\newblock {\em Bell Syst. Tech. J.}, 27:379--423, 623--656, 1948.

\bibitem{chi96}
C.~Tsai and M.~Marek-Sadowska.
\newblock Generalized {R}eed-{M}uller forms as a tool to detect symmetries.
\newblock {\em IEEE Trans. on Computers}, C-45(1):33--40, 1996.

\bibitem{kuo97}
K.~Wang and T.~Hwang.
\newblock {B}oolean matching for incompletely specified functions.
\newblock {\em IEEE Trans. on CAD of Integrated Circuits and Systems},
  16(2):160--168, 1997.

\end{thebibliography}
