A Self-Modifying Theorem Prover

Brown. "A Self-Modifying Theorem Prover." AAAI Conference on Artificial Intelligence, 1984.

[Brown. "A Self-Modifying Theorem Prover." AAAI Conference on Artificial Intelligence, 1984.](https://mlanthology.org/aaai/1984/brown1984aaai-self/)

@inproceedings{brown1984aaai-self,
  title     = {{A Self-Modifying Theorem Prover}},
  author    = {Brown, Cynthia A.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1984},
  pages     = {38-41},
  url       = {https://mlanthology.org/aaai/1984/brown1984aaai-self/}
}