Ellmauthaler, Stefan, Markus Krötzsch, and Stephan Mennicke. 2022. “Answering Queries With Negation over Existential Rules”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (5):5626-33. https://doi.org/10.1609/aaai.v36i5.20503.