Complexity, Convexity and Combinations of Theories

Derek C. Oppen. Complexity, Convexity and Combinations of Theories. Theoretical Computer Science, 12:291-302, 1980.

Abstract

Abstract is missing.