S. Ellmauthaler, M. Krötzsch, and S. Mennicke, “Answering Queries with Negation over Existential Rules”, AAAI, vol. 36, no. 5, pp. 5626-5633, Jun. 2022.