@misc{indiciae3268d3b78b65,
  title = {What's Decidable About Program Verification Modulo Axioms?},
  author = {Umang Mathur and P. Madhusudan and Mahesh Viswanathan},
  year = {2019},
  url = {https://arxiv.org/abs/1910.10889},
  note = {Source identifier: 1910.10889}
}