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, Lecture Notes in Computer Science LNCS 3049