Normality and Non-Contamination in Depth-Bounded Natural Deduction for Classical Propositional Logic