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