Ali Elhalawati, Markus Krötzsch, and Stephan Mennicke. An Existential Rule Framework for~Computing Why-Provenance On-Demand for~Datalog. Rules and Reasoning, 146--163, Springer International Publishing, 2022. [PUMA: topic_knowledge topic_graph] URL