Jiang, J.-H. R. Second-Order Quantified Boolean Logic. AAAI 2023, 37, 4007-4015.