Friedrich Slivovsky. Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing. Computer Aided Verification - 32nd International Conference, CAV 2020 (Shuvendu K. Lahiri and Chao Wang), volume 12224 of Lecture Notes in Computer Science, pages 508-528, 2020, Springer Verlag.