Yasuhiko Takenaga Mitsushi Nouzoe Shuzo Yajima Size and Variable Ordering of OBDDs Representing Treshold Functions. 91-100 1997 conf/cocoon/1997 COCOON db/conf/cocoon/cocoon97.html#TakenagaNY97