@inproceedings{DBLP:conf/iccad/LavagnoMBS90,
  author    = {Luciano Lavagno and
               Sharad Malik and
               Robert K. Brayton and
               Alberto L. Sangiovanni-Vincentelli},
  title     = {MIS-MV: Optimization of Multi-Level Logic with Multiple-Valued
               Inputs},
  booktitle = {ICCAD},
  year      = {1990},
  pages     = {560-563},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}