J.-H. R. Jiang, “Second-Order Quantified Boolean Logic”, AAAI, vol. 37, no. 4, pp. 4007-4015, Jun. 2023.