V. Saletore and L.V. Kale, "Consistent Linear Speedups for a First Solution 
in Parallel State-Space Search", Proceedings of the AAAI, August 1990.