A Intuitionistic Sequent Calculus B;C (1977)

by S-A Tarnlund
Venue:Horn Clause Computability, BIT