The Search Efficiency of Theorem Proving Strategies

@inproceedings{Plaisted1994TheSE,
  title={The Search Efficiency of Theorem Proving Strategies},
  author={David A. Plaisted},
  booktitle={CADE},
  year={1994}
}