Learning Search Control Knowledge for Equational Deduction (Dissertations in Artificial Intelligence-Infix, 230)