Writing Programs that Construct Proofs

Robert L. Constable, Todd B. Knoblock, Joseph L. Bates. Writing Programs that Construct Proofs. Journal of Automated Reasoning, 1(3):285-326, 1985.

Abstract

Abstract is missing.