Non-polynomial Worst-case Analysis of Recursive Programs

Publication
ACM Transactions on Programming Languages and Systems (TOPLAS)