Proof animation: the general purpose animator.

Daniel T. Brunner, Nancy J. Earle, James O. Henriksen

Browse the full WSC paper archive.