GitHub - hesterj/Etableau: Automated theorem prover combining the superposition calculus and tableaux
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications: Journal of Applied Non-Classical Logics: Vol 19, No 2
![PDF] An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting | Semantic Scholar PDF] An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/7986a73f63a728de81fbc5cad935912b66f3af8f/6-Figure1-1.png)