Formalised cut admissibility for display logic (2002)

by J E Dawson, R Goré
Venue:Proceedings of Theorem Proving in Higher Order Logic (TPHOL), volume 2410 of LNCS