@inproceedings{weko_117959_1, author = "石浦,菜岐佐 and 東道,徹也 and 矢島,脩三", title = "A Class of Logic Functions Expressible by a Polynomial-Size Binary Decision Diagram", booktitle = "全国大会講演論文集", year = "1989", volume = "第39回", number = "ハードウェア", pages = "1808--1809", month = "oct" }