Formalised cut admissibility for display logic (2002)

by J E Dawson, R Goré
Venue:in Proc. 15th International Conf. on Theorem Proving in Higher Order Logics, LNCS 2410:131– 147