Synthesis of programs in computational logic,” (2004)

by D Basin, Y Deville, P Flener, A Hamfelt, J F Nilsson
Venue:in Program Development in Computational Logic,