Goal-oriented proof-search in natural deduction for intuitionistic propositional logic
scientific article; zbMATH DE number 7024054
scientific article