TY  - RPRT
TI  - On Deciding Local Theory Extensions via E-matching
AU  - Kshitij Bansal
AU  - Andrew Reynolds
AU  - Tim King
AU  - Clark Barrett
AU  - Thomas Wies
PY  - 2015
DO  - 10.1007/978-3-319-21668-3_6
UR  - https://arxiv.org/abs/1508.06827
ID  - 1508.06827
ER  -