Rule-Based Visualization of Tableau Calculus for Propositional Logic.

Nada Sharaf, Slim Abdennadher, Thom W. Frhwirth

Browse the full IV paper archive.