Keyword:winning strategy

Papers
Local Soundness for QBF Calculi Martin Suda and Bernhard Gleiss EasyChair Preprint no. 362