or success is not enough: Current technology and future directions in proof presentation (2001)

by J Schumann, P Robinson
Venue:In Future Trends in Automated Deduction (during IJCAR