Clausal intuitionistic logic II. tableau proof procedure (1988)

by L T McCarty
Venue:Journal of Logic Programming, 5:93 – 132