Parallelization of deduction strategies: an analytical study