User interaction with the Matita proof assistant. (2007)

by A Asperti, C S Coen, E T Zacchiroli, S
Venue:Journal of Automated Reasoning