Narrow Proofs May Be Maximally Long | Publicación