A proof-centric approach to mathematical assistants (2006)

by L Dixon, J D Fleuriot
Venue:Journal of Applied Logic: Special Issue on Mathematics Assistance Systems