@STRING{date	= {Design, Automation and Test in Europe} }
@InProceedings{WLDG:2008,
  author        = {Robert Wille and Hoang M. Le and Gerhard W. Dueck and Daniel Gro{\ss}e},
  title         = {Quantified Synthesis of Reversible Logic},
  booktitle     = date,
  pages         = {1015--1020},
  year          = 2008
}