Proof Search in the Intuitionistic Sequent Calculus (1991)

Cached

Download Links

by N. Shankar
Venue:11th International Conference on Automated Deduction
Citations:42 - 1 self