Keyword:QBF calculi

Publications
Local Soundness for QBF Calculi Martin Suda and Bernhard Gleiss EasyChair Preprint 362