@article{oai:ipsj.ixsq.nii.ac.jp:00004290,
 author = {湊, 真一 and Minato, Shin-Ichi},
 issue = {5},
 journal = {情報処理},
 month = {May},
 title = {BDD（二分決定グラフ）：2. 計算機上でのBDDの処理技法},
 volume = {34},
 year = {1993}
}