Discussing graph theory with a computer. II: Theorems suggested by the computer. Cvetkovic, Dragos M. (1983) Publications de l'Institut Mathématique. Nouvelle Série
Discussing Graph Theory with a Computer III, Man-machine Theorem Proving Dragoš M. Cvetković, Irena Pevac (1983) Publications de l'Institut Mathématique
Distances invariantes et L-cliques sur certains demi-groupes finis G. Cohen, M. Deza (1979) Mathématiques et Sciences Humaines
Dual approach to edge distance between graphs Vladimír Baláž, Vladimír Kvasnička, Jiří Pospíchal (1989) Časopis pro pěstování matematiky
Důkaz Brouwerovy věty metodou teorie grafů Pavel Drábek (2005) Pokroky matematiky, fyziky a astronomie