Several calculi for quantified Boolean formulas (QBFs) exist, butrelations between them are not yet fully understood.This paper defines a novel calculus, which is resolution-based andenables unification of the principal existing resolution-based QBFcalculi, namely Q-resolution, long-distance Q-resolution and the expansion-basedcalculus Exp+Res. All these calculi play an important role in QBF solving.This paper shows simulation results for the new calculus and some of itsvariants. Further, we demonstrate how to obtain winning strategies for the universalplayer from proofs in the calculus.We believe that this new proof system opens new avenues for furtherresearch and provides a suitable formalism for certification of existing solvers.