@InProceedings{ aderhold:automated, author = {Markus Aderhold}, editor = {J. Esparza and R. Majumdar}, title = {Automated Termination Analysis for Programs with Second-Order Recursion}, booktitle = {Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)}, publisher = {Springer}, year = 2010, series = {LNCS 6015}, pages = {221--235}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2010/Termination2ndOrder-TACAS-2010.pdf} }