ADC method of proof search for intuitionistic propositional natural deduction. - MINTS, G.; STEINERT-THRELKELD, SH. (Journal of Logic & Computation, 2016)