Qiu, J. (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.