Intuitionistic tableau extracted (1999)

by James Caldwell
Venue:In International Conference on Analytic Tableaux and Related Methods