@misc{indiciae20a944884090,
  title = {Invariant Checking for SMT-based Systems with Quantifiers},
  author = {Gianluca Redondi and Alessandro Cimatti and Alberto Griggio and Kenneth McMillan},
  year = {2024},
  url = {https://arxiv.org/abs/2402.19028},
  note = {Source identifier: 2402.19028}
}