Daniele Nardi Riccardo Rosati Deductive Synthesis of Programs for Query Answering. 15-29 1992 LOPSTR db/conf/lopstr/lopstr92.html#NardiR92