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