Dragos Cvetkovic Irena Pevac Man-Machine Theorem Proving in Graph Theory. 1-23 1988 35 Artif. Intell. 1 db/journals/ai/ai35.html#CvetkovicP88