Lawrence A. Crowl, Mark E. Crovella, Thomas J. LeBlanc, and Michael L. Scott, "Beyond Data Parallelism: The Advantages of Multiple Parallelizations in Combinatorial Search", Technical Report 451, Department of Computer Science, University of Rochester, Rochester, New York, 14627-0226, April 1993