David Lacey, Julian Richardson, Alan Smaill. Logic Program Synthesis in a Higher-Order Setting. In John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey, editors, Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Volume 1861 of Lecture Notes in Computer Science, pages 87-100, Springer, 2000. [doi]
Abstract is missing.