@ARTICLE{Kubica_Marcin_SMTBDD:_2016,
 author={Kubica, Marcin and Kania, Dariusz},
 volume={vol. 62},
 number={No 1},
 journal={International Journal of Electronics and Telecommunications},
 howpublished={online},
 year={2016},
 publisher={Polish Academy of Sciences Committee of Electronics and Telecommunications},
 title={SMTBDD: New Form of BDD for Logic Synthesis},
 URL={http://journals.pan.pl/Content/87970/PDF/4.pdf},
 doi={10.1515/eletel-2016-0004},
}