TY - RPRT TI - Answering Queries with Negation over Existential Rules AU - Stefan Ellmauthaler AU - Markus Krötzsch AU - Stephan Mennicke PY - 2021 UR - https://arxiv.org/abs/2112.07376 ID - 2112.07376 ER -