Qiu, J., Li, W., Xiao, Z., Guan, Q., Fang, L., Lai, Z.-R. and Dong, Q. (2022) “Knowledge Compilation Meets Logical Separability”, Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), pp. 5851-5860. doi: 10.1609/aaai.v36i5.20529.