Synthesis of programs in computational logic (2004)

by David Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson
Venue:PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC