Beyersdorff, et al.. Feasible Interpolation for QBF Resolution Calculi. Springer Berlin Heidelberg, 2015, doi:10.1007/978-3-662-47672-7_15.