Towards Uniform Certification in QBF.

Leroy Chew, Friedrich Slivovsky

Browse the full STACS paper archive.