Contraction-free proofs and finitary games for linear logic
scientific article; zbMATH DE number 6578706