David A. Basin Yves Deville Pierre Flener Andreas Hamfelt Jørgen Fischer Nilsson Synthesis of Programs in Computational Logic. 30-65 http://dx.doi.org/10.1007/978-3-540-25951-0_2 2004 conf/lopstr/2004lncs Program Development in Computational Logic db/conf/lopstr/lncs3049.html#BasinDFHN04