@incollection{spcl,
Author = { David Basin and Yves Deville and Pierre Flener and Andreas Hamfelt
           and  Jorgen Fischer Nilsson},
Title = {Synthesis of Programs in Computational Logic},
Booktitle = {Program Development in Computational Logic},
EDITOR = {Maurice Bruynooghe and Kung-Kiu Lau},
PUBLISHER = {Springer-Verlag},
SERIES = {LNCS},
VOLUME = {3049},
MONTH = {June},
YEAR = {2004},
PAGES = {30--65}
}