Leaning search control knowlledge for equational deduction | lit.salon