Intuitionistic tableau extracted (1999)

by James Caldwell
Venue:In Proceedings of International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’99), volume 1617 of LNAI