@STRING{ismvl	= {International Symposium on {M}ulti-{V}alued {L}ogic} }
@inproceedings{FGD:2017b,
  author   = {Saman Froehlich and Daniel Gro{\ss}e and Rolf Drechsler},
  title    = {Error Bounded Exact {BDD} Minimization in Approximate Computing},
  booktitle = ismvl,
  year      = {2017},
  pages     = {254--259}
}