Circuit enumeration in an undirected graph

In his paper J. T. Welch [7] presents an algorithm for determining the circuits of a graph in a mechanical manner. Unfortunately, when an implementation of this procedure was attempted by N. E. Gibbs a very large class of counter examples was discovered. Gibbs rectified this situation in his algorithm [1]. However, a close study of Gibbs' algorithm shows that it is essentially an enumerative case considering all possible combinations. Hsu and Honkanen [3] developed a set of algorithms which used Welch's Concept where it applied and then examined the remaining circuits essentially in a manner like Gibbs' algorithm but did not require examining all possible combinations. R. Tarjan [6] pointed out several flaws in these algorithms which are corrected in this paper.