@article{WGMD:2012,
  author    = {Robert Wille and
               Daniel Gro{\ss}e and
               D. Michael Miller and
               Rolf Drechsler},
  title     = {Equivalence Checking of Reversible Circuits},
  journal   = {Multiple-Valued Logic and Soft Computing},
  volume    = {19},
  number    = {4},
  year      = {2012},
  pages     = {361--378}
}