Qiu J, Li W, Xiao Z, Guan Q, Fang L, Lai Z-R, Dong Q. Knowledge Compilation Meets Logical Separability. AAAI [Internet]. 2022Jun.28 [cited 2024Jul.16];36(5):5851-60. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/20529