@InProceedings{ aderhold:automated:2010, author = {Markus Aderhold}, booktitle = {Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR)}, editor = {J. Giesl and R. H\"ahnle}, pages = {263--277}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2010/Induction2ndOrder-IJCAR-2010.pdf}, publisher = {Springer}, series = {LNAI 6173}, title = {Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion}, year = 2010 }