An Efficient Relevance Criterion for Mechanical Theorem Proving

Plaisted. "An Efficient Relevance Criterion for Mechanical Theorem Proving." AAAI Conference on Artificial Intelligence, 1980.

[Plaisted. "An Efficient Relevance Criterion for Mechanical Theorem Proving." AAAI Conference on Artificial Intelligence, 1980.](https://mlanthology.org/aaai/1980/plaisted1980aaai-efficient/)

@inproceedings{plaisted1980aaai-efficient,
  title     = {{An Efficient Relevance Criterion for Mechanical Theorem Proving}},
  author    = {Plaisted, David A.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1980},
  pages     = {79-83},
  url       = {https://mlanthology.org/aaai/1980/plaisted1980aaai-efficient/}
}