TY  - RPRT
TI  - Quantifier-Free Interpolation of a Theory of Arrays
AU  - Roberto Bruttomesso
AU  - Silvio Ghilardi
AU  - Silvio Ranise
PY  - 2012
DO  - 10.2168/lmcs-8(2:4)2012
UR  - https://arxiv.org/abs/1204.2386
ID  - 1204.2386
ER  -