IMPS: An Interactive Mathematical Proof System

William M. Farmer, Joshua D. Guttman, F. Javier Thayer. IMPS: An Interactive Mathematical Proof System. Journal of Automated Reasoning, 11(2):213-248, 1993.

Abstract

Abstract is missing.