Lawrence A. Crowl, Mark E. Crovella, Thomas J. LeBlanc, and Michael L. Scott " The Advantages of Multiple Parallelizations in Combinatorial Search", Journal of Parallel and Distributed Computing, 21(1): 110-123, April 1994