Tool support for proof engineering (2006)

by Anne Mulhern, Charles Fischer, Ben Liblit
Venue:Workshop on User Interfaces for Theorem Provers