Proof Script Pragmatics in IMPS

William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer

1994

Abstract

This paper introduces the IMPS proof script mechanism and some
practical methods for exploiting it.