@misc{indiciae6ed952e6ffb7,
  title = {On Deciding Local Theory Extensions via E-matching},
  author = {Kshitij Bansal and Andrew Reynolds and Tim King and Clark Barrett and Thomas Wies},
  year = {2015},
  doi = {10.1007/978-3-319-21668-3\_6},
  url = {https://arxiv.org/abs/1508.06827},
  note = {Source identifier: 1508.06827}
}