@InProceedings{WGMD:2009b,
  author        = {Robert Wille and Daniel Gro{\ss}e and D. Michael Miller and Rolf Drechsler},
  title         = {Equivalence Checking of Reversible Circuits},
  BOOKTITLE     = ismvl,
  pages         = {324--330},
  year          = 2009
}