A Definition-Driven Theorem Prover

George W. Ernst. A Definition-Driven Theorem Prover. IEEE Transactions on Computers, 25(4):317-322, 1976.

Abstract

Abstract is missing.