A. Leitsch, M. Baaz, G. Reis:
"A Note on the Complexity of Classical and Intuitionistic Proofs";
Talk: Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS), Kyoto; 2015-07-06 - 2015-07-10; in: "Logic in Computer Science (LICS)", (2015), ISSN: 1043-6871; 657 - 666.