Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) LAI Yung-Te,Bdd based decomposition of logic functions with application to fpga synthesis,"Proc. of ACM/IEEE DAC, 1993",,,1993,,,,https://cir.nii.ac.jp/crid/1574231875374002176,