Examples of use of cut to shorten proofs Publication details Journal: Ukjent, Thursday 1. May 1997 You are here: Home Publications Scientific article Examples of use of cut to shorten proofs