Proof search in intuitionistic sequent calculus (0)

by N Shankar
Venue:In Proceedings of the Tenth Conference on Automated Deduction (CADE-90