A Proof-Theoretic Bound Extraction Theorem for CAT ( ) ( κ ) -Spaces | Publicación