C. Baral, Knowledge representation, reasoning and declarative problem solving, 2003.
DOI : 10.1017/CBO9780511543357

P. Besnard, M. Cordier, and Y. Moinard, Ontology-Based Inference for Causal Explanation, LNAI 4798, pp.153-164, 2007.
DOI : 10.1007/978-3-540-76719-0_18

URL : https://hal.archives-ouvertes.fr/inria-00463001

P. Besnard, M. Cordier, and Y. Moinard, Ontology-Based Inference for Causal Explanation, pp.351-367, 2008.
DOI : 10.1007/978-3-540-76719-0_18

URL : https://hal.archives-ouvertes.fr/inria-00463001

F. Calimeri and G. Ianni, Template programs for Disjunctive Logic Programming: An operational semantics, AI Communications, vol.19, issue.3, pp.193-206, 2006.

M. Gebser, B. Kaufmann, and T. Schaub, The Conflict-Driven Answer Set Solver clasp: Progress Report, LPNMR'09 In LNAI 5753, pp.509-514, 2009.
DOI : 10.1007/978-3-642-04238-6_50

E. Giunchiglia, J. Lee, V. Lifschitz, N. Mccain, and H. Turner, Nonmonotonic causal theories, Artificial Intelligence, vol.153, issue.1-2, pp.49-104, 2004.
DOI : 10.1016/j.artint.2002.12.001

J. Halpern and J. Pearl, Causes and Explanations: A Structural-Model Approach. Part II: Explanations, IJCAI-01, pp.27-34, 2001.
DOI : 10.1093/bjps/axi148

URL : http://arxiv.org/abs/cs/0011012

N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob et al., The DLV system for knowledge representation and reasoning, ACM Transactions on Computational Logic, vol.7, issue.3, pp.499-562, 2006.
DOI : 10.1145/1149114.1149117

D. H. Mellor, The Facts of Causation, Routledge, 1995.
DOI : 10.4324/9780203302682

L. Tari, C. Baral, and S. Anwar, A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling, Answer Set Programming, Advances in Theory and Implementation, CEUR-WS.org publ., CEUR Workshop Proc, 2005.