Liaw, H.H.Liaw林呈祥Lin, Chen-ShangChen-ShangLin2009-02-042018-07-062009-02-042018-07-061993http://ntur.lib.ntu.edu.tw//handle/246246/120778en-USOn the OBDD-Representation of General Boolean Functionsjournal article