Title: A New Kind of Science, Author: Stephen Wolfram
Title: Learning Search Control Knowledge for Equational Deduction, Author: S. A. Schulz