@article{KunzMenon1994,
  author    = {Wolfgang Kunz and P. Menon},
  title     = {Multi-level logic optimization by implication analysis},
  year      = {1994},
}