Heyninck J, Kern-Isberner G, Meyer T, Haldimann JP, Beierle C. Conditional Syntax Splitting for Non-monotonic Inference Operators. AAAI [Internet]. 2023Jun.26 [cited 2024Aug.14];37(5):6416-24. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/25789