@inproceedings{DBLP:conf/dac/McGeerSBS93,
author = {Patrick C. McGeer and
Jagesh V. Sanghavi and
Robert K. Brayton and
Alberto L. Sangiovanni-Vincentelli},
title = {Espresso-Signature: A New Exact Minimizer for Logic Functions},
booktitle = {DAC},
year = {1993},
pages = {618-624},
ee = {http://doi.acm.org/10.1145/157485.165069},
bibsource = {DBLP, http://dblp.uni-trier.de}
}