@InProceedings{   WLDG:2008,
  author        = {R. Wille and H. M. Le and G. W. Dueck and D. Gro{\ss}e},
  title         = {Quantified Synthesis of Reversible Logic},
  booktitle     = {Design, Automation and Test in Europe},
  pages         = {1015--1020},
  year          = 2008
}