Learning search control knowledge for equational deduction - Schulz, Stephan (Akad. Verl.-Ges. Aka, 2000)
Zugl.: München, Techn. Univ., Diss., 2000