D. Cerna: "Integer Sequences, Recursive Lemma Elimination and Combinatorics"; Talk: DIMACS Conference on Challenges of Identifying Integer Sequences, New York; 2014-10-09 - 2014-10-10.