Cut-Restriction: From Cuts to Analytic Cuts.

Agata Ciabattoni, Timo Lang, Revantha Ramanayake

Browse the full LICS paper archive.