Wan, Hai, Heng Zhang, Peng Xiao, Haoran Huang, and Yan Zhang. 2016. “Query Answering With Inconsistent Existential Rules under Stable Model Semantics”. Proceedings of the AAAI Conference on Artificial Intelligence 30 (1). https://doi.org/10.1609/aaai.v30i1.10085.