Frege Systems for Quantified Boolean Logic. - BEYERSDORFF, OLAF; BONACINA, ILARIO; CHEW, LEROY; PICH, JAN (Journal of the ACM, 2020)