Hussein Almuallim An Efficient Algorithm for Optimal Pruning of Decision Trees. 347-362 1996 83 Artif. Intell. 2 db/journals/ai/ai83.html#Almuallim96 http://dx.doi.org/10.1016/0004-3702(95)00060-7