How far is, sould and could be conjecture-making in graph theory an automated process? - Hansen, Pierre (Graphs and Discovery, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 2005)