How Far Is, Should and Could Be Conjecture-Making in Graph Theory an Automated Process? - Hansen, Pierre (Groupe d’études et de recherche en analyse des décisions, 2004)