Clausal intuitionistic logic I. fixed point semantics (1988)

by L T McCarty
Venue:Journal of Logic Progmm- ming, 5:l - 31