Clausal intuitionistic logic I - fixed-point semantics (1988)

by L Thorne McCarty
Venue:J. Log. Program