@article{DBLP:journals/tcad/DrechslerB97,
author = {Rolf Drechsler and
Bernd Becker},
title = {Sympathy: fast exact minimization of fixed polarity Reed-Muller
expressions for symmetric functions},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {16},
number = {1},
year = {1997},
pages = {1-5},
ee = {http://doi.ieeecomputersociety.org/10.1109/43.559327},
bibsource = {DBLP, http://dblp.uni-trier.de}
}