SCOTT: A Model-Guided Theorem Prover

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

Authors

John K. Slaney

This author has not been identified. Look up 'John K. Slaney' in Google