Logic Program Synthesis in a Higher-Order Setting.

David Lacey Julian Richardson Alan Smaill Logic Program Synthesis in a Higher-Order Setting. 87-100 http://link.springer.de/link/service/series/0558/bibs/1861/18610087.htm 2000 conf/cl/2000 Computational Logic db/conf/cl/cl2000.html#LaceyRS00