Title: Leaning search control knowlledge for equational deduction
Subjects: Automatic theorem proving, Heuristic programming