Yasuhiko Takenaga Shuzo Yajima Hardness of identifying the minimum ordered binary decision diagram. 191-201 2000 107 Discrete Applied Mathematics 1-3 db/journals/dam/dam107.html#TakenagaY00 http://dx.doi.org/10.1016/S0166-218X(99)00226-7