@article{StoffelKunz1996,
  author    = {Dominik Stoffel and Wolfgang Kunz},
  title     = {Logic equivalence checking by optimization techniues},
  year      = {1996},
}