Towards the animation of proofs - testing proofs by examples. - Susumu Hayashi; Ryosuke Sumitomo; Ken-ichiro Shii (Theor. Comput. Sci., 2002)