T. Arora, R. Ramakrishnan, W. G. Roth, P. Seshadri, and D. Srivastava, Explaining program execution in deductive systems, Deductive and Object-Oriented Databases, pp.101-119, 1993.
DOI : 10.1007/3-540-57530-8_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.5967

J. Baget, F. Garreau, M. Mugnier, and S. Rocher, Extending acyclicity notions for existential rules, ECAI, pp.39-44, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01092757

P. Buneman, A. Chapman, and J. Cheney, Provenance management in curated databases, Proceedings of the 2006 ACM SIGMOD international conference on Management of data , SIGMOD '06, pp.539-550, 2006.
DOI : 10.1145/1142473.1142534
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.165.6657

R. Caballero, Y. García-ruiz, and F. Sáenz-pérez, A Theoretical Framework for the Declarative Debugging of Datalog Programs, Semantics in Data and Knowledge Bases, pp.143-159, 2008.
DOI : 10.1145/1085099.1085102

A. Cal?, G. Gottlob, and M. Kifer, Taming the infinite chase: Query answering under expressive relational constraints, Proc. of KR, pp.70-80, 2008.

A. Caì-i, G. Gottlob, and T. Lukasiewicz, A general datalog-based framework for tractable query answering over ontologies, Web Semantics: Science, Services and Agents on the World Wide Web, pp.57-83, 2012.

S. Ceri, G. Gottlob, and L. Tanca, What you always wanted to know about datalog (and never dared to ask) Knowledge and Data Engineering, IEEE Transactions on, vol.1, issue.1, pp.146-166, 1989.
DOI : 10.1109/69.43410
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.1118

R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa, Data exchange: semantics and query answering, Theoretical Computer Science, vol.336, issue.1, pp.89-124, 2005.
DOI : 10.1016/j.tcs.2004.10.033
URL : http://doi.org/10.1016/j.tcs.2004.10.033

W. J. Frawley, G. Piatetsky-shapiro, and C. J. Matheus, Knowledge discovery in databases: An overview. AI magazine, p.57, 1992.

G. Gallo, G. Longo, S. Pallottino, and S. Nguyen, Directed hypergraphs and applications, Discrete Applied Mathematics, vol.42, issue.2-3, pp.177-201, 1993.
DOI : 10.1016/0166-218X(93)90045-P
URL : http://doi.org/10.1016/0166-218x(93)90045-p

A. Hecham, M. Croitoru, and P. Bisquert, Argumentation-based defeasible reasoning for existential rules, Proceedings of AAMAS '17, 2017.
URL : https://hal.archives-ouvertes.fr/lirmm-01520171

R. Ikeda and J. Widom, Data lineage: A survey, 2009.

A. C. Kakas, R. A. Kowalski, and F. Toni, The role of abduction in logic programming . Handbook of logic in artificial intelligence and logic programming, pp.235-324, 1998.

B. Marnette, Generalized schema-mappings, Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, PODS '09, pp.13-22, 2009.
DOI : 10.1145/1559795.1559799

S. Nguyen and S. Pallottino, Hyperpaths and shortest hyperpaths, Combinatorial Optimization, pp.258-271, 1989.
DOI : 10.1007/BFb0083470

C. Ré and D. Suciu, Approximate lineage for probabilistic databases, Proceedings of the VLDB Endowment, pp.797-808, 2008.

J. Widom, Trio: A system for data, uncertainty, and lineage. Managing and Mining Uncertain Data, 2008.