SCOTT: A Model-Guided Theorem Prover

Slaney. "SCOTT: A Model-Guided Theorem Prover." International Joint Conference on Artificial Intelligence, 1993.

[Slaney. "SCOTT: A Model-Guided Theorem Prover." International Joint Conference on Artificial Intelligence, 1993.](https://mlanthology.org/ijcai/1993/slaney1993ijcai-scott/)

@inproceedings{slaney1993ijcai-scott,
  title     = {{SCOTT: A Model-Guided Theorem Prover}},
  author    = {Slaney, John K.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1993},
  pages     = {109-115},
  url       = {https://mlanthology.org/ijcai/1993/slaney1993ijcai-scott/}
}