Proof search in the intuitionistic sequent calculus (1992)

by Natarajan Shankar
Venue:Proceedings of the Eleventh International Conference on Automated Deduction – CADE-11