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