R. Baget, M. Lecì-ere, M. Mugnier, and E. Salvat, On rules with existential variables: Walking the decidability line, Artificial Intelligence, vol.175, issue.9-10
DOI : 10.1016/j.artint.2011.03.002
URL : https://hal.archives-ouvertes.fr/lirmm-00587012

M. [. Chein and . Mugnier, Graph-based Knowledge Representation, 2009.
URL : https://hal.archives-ouvertes.fr/lirmm-00537351

G. [. Levesque and . Lakemeyer, The Logic of Knowledege Bases, 2000.

N. [. Sa¨?ssa¨?s, M. Pernelle, and . Rousset, L2r: A logical method for reference reconciliation, AAAI, pp.329-334, 2007.

N. [. Sa¨?ssa¨?s, M. Pernelle, and . Rousset, Combining a logical and a numerical method for data reconciliation, J. Data Semantics, vol.12, pp.66-94, 2009.