@STRING{glsvlsi	= {ACM Great Lakes Symposium on VLSI} }
@InProceedings{GCDD:2007,
  title         = {Exact {SAT}-based {Toffoli} Network Synthesis},
  author        = {Daniel Gro{\ss}e and Xiaobo Chen and Gerhard W. Dueck and Rolf Drechsler},
  booktitle     = glsvlsi,
  pages         = {96--101},
  year          = 2007
}