Qiu, J.; Li, W.; Xiao, Z.; Guan, Q.; Fang, L.; Lai, Z.-R.; Dong, Q. Knowledge Compilation Meets Logical Separability. AAAI 2022, 36, 5851-5860.