(defun vertex-list (g) (cond ((null g) nil) ((null (cdr g)) (car g)) (t (node-union (car g) (vertex-list (cdr g))))))
> (vertex-list *graph1*) (s a c b f d e)