Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation | Read Paper on Bytez