SEARCH Articles Figures Tables Deductibles Deduction Deductive Deductive Inference in Automatic Programming Deductive inferences Deductive inferences Inference Inference engine deductive