Automatic Deduction and Inferencing Techniques