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