"On Sequent Systems and Resolution for QBFs."

Uwe Egly (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics