@article{ChatterjeePradhanKunz1995,
  author    = {Chatterjee, M. and Pradhan, D. K. and Kunz, Wolfgang},
  title     = {ATPG-based Transformations for random-pattern testable logic synthesis},
  isbn      = {0-8186-7213-7},
  year      = {1995},
  language  = {en}
}
@article{KunzPradhan1994,
  author    = {Kunz, Wolfgang and Pradhan, D. K.},
  title     = {Recursive learning : a new implication technique for efficient solutions to CAD problems : test, verification and optimization},
  year      = {1994},
  language  = {en}
}
@article{KunzReddySubodhetal.1996,
  author    = {Kunz, Wolfgang and Reddy, S. M. and Subodh, M. and Pradhan, D. K.},
  title     = {Efficient logic verification in a synthesis environment},
  year      = {1996},
  language  = {en}
}
@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}
}
@article{ReddyKunzPradhan1995,
  author    = {Reddy, S. M. and Kunz, Wolfgang and Pradhan, D. K.},
  title     = {Novel verification framework combining structural and OBDD methods in a synthesis environment},
  isbn      = {0-8186-7213-7},
  year      = {1995},
  language  = {en}
}