Decision trees: Equivalence and propositional operationsFinding Small Equivalent Decision Trees is HardLiveness in rewritingSizes of decision tables and decision trees
