G. Reger, M. Suda, A. Voronkov: "New Techniques in Clausal Form Generation"; Talk: Prague Automated Reasoning Seminar, Prague, Czech Republick; 2016-10-31.