Interactive Theorem Proving: An Empirical Study of User Activity (1998)

by J S Aitken
Venue:Journal of Symbolic Computation