Theorem Proving via General Mappings

Peter B. Andrews. Theorem Proving via General Mappings. Journal of the ACM, 28(2):193-214, 1981. [doi]

Abstract

Abstract is missing.