TY  - RPRT
TI  - Feasible Interpolation for QBF Resolution Calculi
AU  - Olaf Beyersdorff
AU  - Leroy Chew
AU  - Meena Mahajan
AU  - Anil Shukla
PY  - 2017
DO  - 10.23638/lmcs-13(2:7)2017
UR  - https://arxiv.org/abs/1611.01328
ID  - 1611.01328
ER  -