Automatic proof checking and proof construction by tactics (1991)

by G Dowek
Venue:Notes for the Workshop on Meta-Variables