A framework for using knowledge in tableau proofs (1997)

by B SHULTS
Venue:Proc. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Pont--Mousson