@misc{indiciae79b8ab4f4e3a,
  title = {Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (extended version)},
  author = {Alexandra Bugariu and Arshavir Ter-Gabrielyan and Peter Müller},
  year = {2021},
  url = {https://arxiv.org/abs/2105.04385},
  note = {Source identifier: 2105.04385}
}