A First Step Towards a Unified Proof Checker for QBF.

Toni Jussila, Armin Biere, Carsten Sinz, Daniel Krning, Christoph M. Wintersteiger

Browse the full SAT paper archive.