Tableau for intuitionistic predicate logic as metatheory (1995)

by Judith Underwood
Venue:Theorem Proving with Analytic Tableaux and Related Methods, number 918 in Lecture Notes in Artificial Intelligence