Logic Program Synthesis from Incomplete Information by Pierre Flener, Hardcover | Indigo Chapters