Examples of use of cut to shorten proofs Publikasjonsdetaljer Journal: Ukjent, Thursday 1. May 1997 Du er her: Hjem Publikasjoner Vitenskapelig artikkel Examples of use of cut to shorten proofs