Exploiting Hidden Semantic Clues for Heuristic Guidance of Non-Clausal Theorem Proving.

I. S. Torsun L. M. Newnham Exploiting Hidden Semantic Clues for Heuristic Guidance of Non-Clausal Theorem Proving. 7-11 1999 conf/appinf/1999 Applied Informatics db/conf/appinf/appinf1999.html#TorsunN99