IJCAI 2007
A Tableau Decision Procedure for Propositional Intuitionistic Logic
Submitted to IJCAI-07
click here to download file
