@misc{indiciae2e15145b9e00,
  title = {Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version)},
  author = {Dirk Beyer and Po-Chun Chien and Nian-Ze Lee},
  year = {2024},
  url = {https://arxiv.org/abs/2403.07821},
  note = {Source identifier: 2403.07821}
}