The paper "Automated Termination Analysis for Programs with Second-Order Recursion" by Markus Aderhold has been accepted for publication at TACAS (International Conference on Tools and Algorithms for the Construction and Analysis of Systems).