Everyday Reasoning Meets Geometry Theorem-Proving

McDougal. "Everyday Reasoning Meets Geometry Theorem-Proving." AAAI Conference on Artificial Intelligence, 1994.

[McDougal. "Everyday Reasoning Meets Geometry Theorem-Proving." AAAI Conference on Artificial Intelligence, 1994.](https://mlanthology.org/aaai/1994/mcdougal1994aaai-everyday/)

@inproceedings{mcdougal1994aaai-everyday,
  title     = {{Everyday Reasoning Meets Geometry Theorem-Proving}},
  author    = {McDougal, Thomas F.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1994},
  pages     = {1471},
  url       = {https://mlanthology.org/aaai/1994/mcdougal1994aaai-everyday/}
}