139
click to vote
CADE
1994
Springer
15 years 11 months ago
1994
Springer
This paper introduces the imps proof script mechanism and some practical methods for exploiting it.