P. Cabalar, J. Fandiño, M. Fink: "Causal Graph Justifications of Logic Programs"; Report for CoRR Computing Research Repository; Report No. arXiv:1409.7281, 2014; 42 pages.
http://arxiv.org/pdf/1409.7281v1.pdf