92
Voted
CADE
1994
Springer
15 years 7 months ago
1994
Springer
This paper introduces the imps proof script mechanism and some practical methods for exploiting it.