Top-Down Synthesis of Divide-and-Conquer Algorithms

Douglas R. Smith. Top-Down Synthesis of Divide-and-Conquer Algorithms. Artificial Intelligence, 27(1):43-96, 1985.

Abstract

Abstract is missing.