Dawson, JeremyGore, Rajeev2015-12-132015-12-13August 200302-9743http://hdl.handle.net/1885/92328Formalised cut admissibility for display logic20022015-12-12