The Power and Performance of Proof Animation.

Nancy J. Earle, James O. Henriksen

Browse the full WSC paper archive.