A new algorithm for derivability in the constructive propositional calculus (1970)

by N N Vorob'ev
Venue:Amer. Math. Soc