overview of automated deduction 2943650