Title: Learning Search Control Knowledge for Equational Deduction