Exploiting Hidden Semantic Clues for Heuristic Guidance of Non-Clausal Theorem Proving. - I. S. Torsun; L. M. Newnham (Applied Informatics, 1999)