ADC Method of Proof Search for Intuitionistic Propositional Natural Deduction