Pierre Flener Yves Deville Towards Stepwise, Schema-guided Synthesis of Logic Programms. 46-64 1991 LOPSTR db/conf/lopstr/lopstr91.html#FlenerD91