Janis Barzdins Towards Efficient Inductive Synthesis from Input/Output Examples (Abstract). 1 1994 conf/alt/1994 AII/ALT db/conf/alt/alt1994.html#Barzdins94