Algorithmic aspects of intuitionistic propositional logic (1987)

by Torkel Franz'en