Maria Paola Bonacina Jieh Hsiang Parallelization of Deduction Strategies: An Analytical Study. 1-33 1994 13 J. Autom. Reasoning 1 db/journals/jar/jar13.html#BonacinaH94