On Interpolation in Decision Procedures.

Maria Paola Bonacina, Moa Johansson

Browse the full TABLEAUX paper archive.