Laurent Hyafil Ronald L. Rivest Constructing Optimal Binary Decision Trees is NP-Complete. 15-17 1976 5 1 Inf. Process. Lett. db/journals/ipl/ipl5.html#HyafilR76