@article{ReddyKunzPradhan1995,
  author    = {S. M. Reddy and Wolfgang Kunz and D. K. Pradhan},
  title     = {Novel verification framework combining structural and OBDD methods in a synthesis environment},
  year      = {1995},
}