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