Wan H, Xiao G, Wang C, Liu X, Chen J, Wang Z. Query Answering with Guarded Existential Rules under Stable Model Semantics. AAAI [Internet]. 2020Apr.3 [cited 2024Apr.25];34(03):3017-24. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/5695