TY  - RPRT
TI  - What's Decidable About Program Verification Modulo Axioms?
AU  - Umang Mathur
AU  - P. Madhusudan
AU  - Mahesh Viswanathan
PY  - 2019
UR  - https://arxiv.org/abs/1910.10889
ID  - 1910.10889
ER  -