Logic Program Synthesis from Incomplete Information by Pierre Fiener