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

by a carbone
Venue:Annals of Pure and Applied Logic