How to Build Explanations of Automated Proofs: A Methodology and Requirements on Domain Representations.

Helmut Horacek How to Build Explanations of Automated Proofs: A Methodology and Requirements on Domain Representations. 34-41 2007 conf/exact/2007 ExaCt db/conf/exact/exact2007.html#Horacek07