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