Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT.

Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler

Browse the full CADE paper archive.