A framework for using knowledge in tableau proofs

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/bfb0027424 ◽

1997 ◽

pp. 328-342

Author(s):

Benjamin Shults

Download Full-text