@article{KunzStoffelMenon1997,
  author    = {Wolfgang Kunz and Dominik Stoffel and P. Menon},
  title     = {Logic optimization and equivalence checking by implication analysis},
  year      = {1997},
}