Ralph Benzinger
Automatic Complexity Analysis Revisited
Ralph Benzinger, January 31, 2000
Automated Complexity Analysis
Ralph Benzinger, September 15, 1998
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu