H. Wan, H. Zhang, P. Xiao, H. Huang, and Y. Zhang, “Query Answering with Inconsistent Existential Rules under Stable Model Semantics”, AAAI, vol. 30, no. 1, Feb. 2016.