@misc{indiciae831cbb6e3e1d,
  title = {Quantifier-Free Interpolation of a Theory of Arrays},
  author = {Roberto Bruttomesso and Silvio Ghilardi and Silvio Ranise},
  year = {2012},
  doi = {10.2168/lmcs-8(2:4)2012},
  url = {https://arxiv.org/abs/1204.2386},
  note = {Source identifier: 1204.2386}
}