Rule-Based Visualization of Tableau Calculus for Propositional Logic | IEEE Conference Publication | IEEE Xplore