Existence proofs by induction using methods of program synthesis - Biundo-Stephan, Susanne 1955-; Zboray, František (1984)