J. Qiu, “Knowledge Compilation Meets Logical Separability”, AAAI, vol. 36, no. 5, pp. 5851-5860, Jun. 2022.