Efficient Interpolation Beyond Cut-Free Proofs: Admissible Cuts and Optimized Extraction.

Simon Corbard, Anela Lolic

Browse the full ICTAC paper archive.