Yves Deville Kung-Kiu Lau Logic Program Synthesis. 321-350 1994 19/20 J. Log. Program. db/journals/jlp/jlp19.html#DevilleL94 http://dx.doi.org/10.1016/0743-1066(94)90029-9