Duplication of Directed Graphs and Exponential Blow Up of Proofs (1999)

by A. Carbone
Citations:11 - 3 self