Verteidigung Dissertation von Russell W.F. Lai: „Succinct Arguments: Constructions and Applications“