Jiang, J.-H. R. (2023). Second-Order Quantified Boolean Logic. Proceedings of the AAAI Conference on Artificial Intelligence, 37(4), 4007-4015. https://doi.org/10.1609/aaai.v37i4.25515