Wan, Hai, Guohui Xiao, Chenglin Wang, Xianqiao Liu, Junhong Chen, and Zhe Wang. “Query Answering With Guarded Existential Rules under Stable Model Semantics”. Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 03 (April 3, 2020): 3017-3024. Accessed October 6, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/5695.