Splitting Proofs for Interpolation.

Bernhard Gleiss, Laura Kovcs, Martin Suda

Browse the full CADE paper archive.