@article{PradhanChatterjeeSwarnaetal.1996,
  author    = {Pradhan, D. K. and Chatterjee, M. and Swarna, M. and Kunz, Wolfgang},
  title     = {Implication-based gate-level synthesis for low-power},
  isbn      = {0-7803-3571-6},
  year      = {1996},
  language  = {en}
}