G. Ferrand, W. Lesaint, and A. Tessier, “Explanations and Proof Trees”, Comput. Inform., vol. 25, no. 2-3, pp. 105–122, Jan. 2012.