@InCollection{	  basin.ea:synthesis:2004,
  author	= {David Basin and Yves Deville and Pierre Flener and Andreas
		  Hamfelt and Jorgen Fischer Nilsson},
  booktitle	= {Program Development in Computational Logic},
  copyright	= {\copyright Springer-Verlag},
  copyrighturl	= {http://www.springeronline.com/sgw/cda/redirect/viewselect/0,10755,0-0-0-0-0,00.html?sgwIdWithNoView=164-0-0-0?referer=www.springer.de/comp/lncs/index.html}
		  ,
  editor	= {Maurice Bruynooghe and Kung-Kiu Lau},
  language	= {USenglish},
  month		= {June},
  pages		= {30--65},
  ps		= {papers/2004/spcl.ps.gz},
  publisher	= {Springer-Verlag},
  series	= {LNCS, volume 3049},
  title		= {Synthesis of Programs in Computational Logic},
  year		= 2004,
  user		= {bgeiser}
}