Alessandra Carbone: Duplication of Directed Graphs and Exponential Blow Up of Proofs. Ann. Pure Appl. Log. 100(1-3): 1-67 (1999)