Efficient Interpolation for the Theory of Arrays.

Jochen Hoenicke, Tanja Schindler

Browse the full CADE paper archive.