User-adaptive Proof Explanation (2001)

by A Fiedler