Tóth J, Kuželka O. Lifted Inference with Linear Order Axiom. AAAI [Internet]. 2023Jun.26 [cited 2024Aug.17];37(10):12295-304. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/26449