Properties of the k-norm pruning algorithm for decision tree classifiers | IEEE Conference Publication | IEEE Xplore