BaharFGHMPS93'

@inproceedings{DBLP:conf/iccad/BaharFGHMPS93,
  author    = {R. Iris Bahar and
               Erica A. Frohm and
               Charles M. Gaona and
               Gary D. Hachtel and
               Enrico Macii and
               Abelardo Pardo and
               Fabio Somenzi},
  title     = {Algebraic decision diagrams and their applications},
  booktitle = {ICCAD},
  year      = {1993},
  pages     = {188-191},
  ee        = {http://doi.acm.org/10.1145/259794.259826},
  crossref  = {DBLP:conf/iccad/1993},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iccad/1993,
  editor    = {Michael R. Lightner and
               Jochen A. G. Jess},
  title     = {Proceedings of the 1993 IEEE/ACM International Conference
               on Computer-Aided Design, 1993, Santa Clara, California,
               USA, November 7-11, 1993},
  booktitle = {ICCAD},
  publisher = {IEEE Computer Society},
  year      = {1993},
  isbn      = {0-8186-4490-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}