Ferrand, G., Lesaint, W., & Tessier, A. (2006). Explanations and Proof Trees. Computing and Informatics, 25(2-3), 105–125. https://cai.type.sk/content/2006/2-3/explanations-and-proof-trees/