@misc{indiciae01c04841e3b6,
  title = {Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR},
  author = {Tobias Seufert and Felix Winterer and Christoph Scholl and Karsten Scheibler and Tobias Paxian and Bernd Becker},
  year = {2022},
  doi = {10.1109/tcad.2022.3198260},
  url = {https://arxiv.org/abs/2105.09169},
  note = {Source identifier: 2105.09169}
}