L. Thorne McCarty Clausal Intuitionistic Logic II - Tableau Proof Procedures. 93-132 1988 5 J. Log. Program. 2 db/journals/jlp/jlp5.html#McCarty88a