Ferrand, G.; Lesaint, W.; Tessier, A. Explanations and Proof Trees. Comput. Inform. 2012, 25, 105-122.