@article{StoffelKunz1997,
  author    = {Dominik Stoffel and Wolfgang Kunz},
  title     = {Record \& play : a structural fixed point iteration for sequential circuit verification},
  year      = {1997},
}