@inproceedings{Deharbe9,
  author    = {David D{\'e}harbe and
               Pascal Fontaine and
               Daniel Le Berre and
               Bertrand Mazure},
  title     = {Computing prime implicants},
  booktitle = fmcad,
  year      = {2013},
  pages     = {46-52},
  publisher = {IEEE},
}