P. Baldi: "A proof-theoretical approach to standard completeness"; Talk: Workshop on Gentzen Systems and Beyond 3. Vienna, Wien; 2014-07-13.