Keyword:IRM-calc

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