The paper "Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion" by Markus Aderhold has been accepted for publication at IJCAR-2010 (International Joint Conference on Automated Reasoning).