From Specifications to Programs: Induction in the Service of Synthesis (Abstract).

Nachum Dershowitz From Specifications to Programs: Induction in the Service of Synthesis (Abstract). 6-7 1994 conf/alt/1994 AII/ALT db/conf/alt/alt1994.html#Dershowitz94