@article{KunzReddySubodhetal.1996,
  author    = {Wolfgang Kunz and S. M. Reddy and M. Subodh and D. K. Pradhan},
  title     = {Efficient logic verification in a synthesis environment},
  year      = {1996},
}