Improving proof search in intuitionistic propositional logic - Weich, Klaus (2001)