Top-Down Synthesis of Divide-and-Conquer Algorithms.

Douglas R. Smith Top-Down Synthesis of Divide-and-Conquer Algorithms. 43-96 1985 27 Artif. Intell. 1 db/journals/ai/ai27.html#Smith85