Decision trees and downward closures | IEEE Conference Publication | IEEE Xplore