Recursion Schemes and Recursive Programs are Exponentially Hard to Analyze

Harry B. Hunt III, Daniel J. Rosenkrantz. Recursion Schemes and Recursive Programs are Exponentially Hard to Analyze. SIAM Journal on Computing, 15(3):831-850, 1986.

Abstract

Abstract is missing.