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