@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{KunzMenon1994,
  author    = {Kunz, Wolfgang and Menon, P.},
  title     = {Multi-level logic optimization by implication analysis},
  isbn      = {0-89791-690-5},
  year      = {1994},
  language  = {en}
}