A Framework for Using Knowledge in Tableau Proofs (1997)

Cached

Download Links

by Benjamin Shults
Venue:Proc. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Pont--Mousson
Citations:2 - 1 self