Examples of use of cut to shorten proofs

Publication details

• Journal: Ukjent, Thursday 1. May 1997