@STRING{tcad	= {IEEE Transactions on Computer Aided Design of Circuits and Systems} }
@Article{GWDD:2009,
  author        = {Daniel Gro{\ss}e and Robert Wille and Gerhard W. Dueck and Rolf Drechsler},
  title         = {Exact Multiple Control {T}offoli Network Synthesis with {SAT} Techniques},
  journal       = tcad,
  volume	= {28},
  number	= {5},
  pages		= {703--715},
  year          = 2009
}