SCOTT: A Model-Guided Theorem Prover

John K. Slaney. SCOTT: A Model-Guided Theorem Prover. In IJCAI. pages 109-115, 1993.

Abstract

Abstract is missing.