Local soundness for QBF calculi
scientific article; zbMATH DE number 6916309
scientific article