B. Kiesl, M. Suda: "First-Order Logic and Blocked Clauses"; Talk: 4th International Workshop on Quantified Boolean Formulas (QBF 2016), Bordeaux, France; 2016-07-04.