Duplication of directed graphs and exponential blow up of proofs (1999)

by A Carbone
Venue:Annals of Pure and Applied Logic 100