Blocked Clause Elimination for QBF.

Armin Biere, Florian Lonsing, Martina Seidl

Browse the full CADE paper archive.