@article{Hunt:1986:RSR:14821.14835,
    Address = {Philadelphia, PA, USA},
    Author = {Hunt, III, H B and Rosenkrantz, D J},
    ISSN = {0097-5397},
    Journal = {SIAM J. Comput.},
    Keywords = {no pdf},
    Month = {August},
    Number = {3},
    Pages = {831--850},
    Publisher = {Society for Industrial and Applied Mathematics},
    Title = {Recursion schemes and recursive programs are exponentially hard to analyze},
    URL = {http://dx.doi.org/10.1137/0215059},
    Volume = {15},
    Year = {1986},
    acmid = {14835},
    bdsk-url-1 = {http://dx.doi.org/10.1137/0215059},
    date-added = {2013-07-03 15:34:15 +0000},
    date-modified = {2013-07-03 15:34:21 +0000},
    issue_date = {August 1986},
    numpages = {20},
    doi = {10.1137/0215059}
}

@article{Hunt:1986:RSR:14821.14835, Address = {Philadelphia, PA, USA}, Author = {Hunt, III, H B and Rosenkrantz, D J}, ISSN = {0097-5397}, Journal = {SIAM J. Comput.}, Keywords = {no pdf}, Month = {August}, Number = {3}, Pages = {831--850}, Publisher = {Society for Industrial and Applied Mathematics}, Title = {Recursion schemes and recursive programs are exponentially hard to analyze}, URL = {http://dx.doi.org/10.1137/0215059}, Volume = {15}, Year = {1986}, acmid = {14835}, bdsk-url-1 = {http://dx.doi.org/10.1137/0215059}, date-added = {2013-07-03 15:34:15 +0000}, date-modified = {2013-07-03 15:34:21 +0000}, issue_date = {August 1986}, numpages = {20}, doi = {10.1137/0215059} }