Using Rules for the Visualization of Tableaux Proof Techniques for Propositional Logic