Finite sum-product logic. Cockett, J.R.B., Seely, R.A.G. (2001) Theory and Applications of Categories [electronic only]
Functorial bounds for cut elimination in L... .I. Marie-Christine Ferbus (1984) Archiv für mathematische Logik und Grundlagenforschung
Functorial bounds for cut elimination in L.. .II. Marie-Christine Ferbus (1985) Archiv für mathematische Logik und Grundlagenforschung
Further applications of ultra-conservative ...-rules. E.G.K. López-Escobar (1982) Archiv für mathematische Logik und Grundlagenforschung