@inproceedings{mathur2020whatsdecidab,
 author = {Umang Mathur and P. Madhusudan and Mahesh Viswanathan},
 booktitle = {TACAS 2020},
 title = {What's Decidable About Program Verification Modulo Axioms?},
 url = {https://umangmathur.org/papers/coherence-tacas2020.pdf},
 year = {2020}
}