@inproceedings{DrechslerTW00,
  title = {MDD-Based Synthesis of Multi-Valued Logic Networks},
  author = {Rolf Drechsler and Mitchell A. Thornton and David Wessels},
  year = {2000},
  url = {http://computer.org/proceedings/ismvl/0692/06920041abs.htm},
  tags = {rule-based, logic},
  researchr = {https://researchr.org/publication/DrechslerTW00},
  cites = {0},
  citedby = {0},
  pages = {41-46},
  booktitle = {ISMVL},
}