Ferrand, G. et al. 2012. Explanations and Proof Trees. Computing and Informatics. 25, 2-3 (Jan. 2012), 105–122.