EasyChair Smart Slide
Fast cut-elimination using proof terms: an empirical study
Fast cut-elimination using proof terms: an empirical study