Craig E. Larson: A Survey of Research in Automated Mathematical Conjecture-Making. Graphs and Discovery 2001: 297-318