Graph Theoretical Results Obtained by the Support of the Expert System "Graph" - An Extended Survey