Clausal Intuitionistic Logic II. Tableau Proof Pro- cedure (1988)

by L T McCarty
Venue:The Journal of Logic Programming